• Korean Journal of Mathematics
• /
• v.25 no.4
• /
• pp.513-535
• /
• 2017

As a continuation to the study in [8, 12, 15, 17], we construct bi-conservative central normal (BCN) and bi-conservative asymptomatic normal (BAN) ruled surfaces in Euclidean 3-space ${\mathbb{E}}^3$. For such surfaces, local study is given and some examples are constructed using computer aided geometric design (CAGD).

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.209-218
• /
• 2002

보안의 형식검증은 시스템의 초기 상태를 정의하고 트랜잭션을 통해 그 상태를 추적하며 보안을 위해 각 상태를 체크하는 과정이다. 보안 증명이 잘못될 수 있는 경우는 시스템의 초기상태를 정의할 때와 상태가 안전하기 위한 조건을 정의할 때인데, 본 논문에서는 상태 트랜잭션을 위해 BAN 논리를 이용하여 대표적인 지불프로토콜인 NetBill 프로토콜에 대한 형식기법을 제안하였으며, 보안 프로토콜의 증명을 위해 BAN 논리의 확장을 제시했다. 이러한 확장된 연구결과는 원자성, 익명성 및 프라이버시와 같은 다른 중요한 보안의 특성을 증명하기 위해 이용될 수 있다.

• 방재와보험
• /
• s.89
• /
• pp.68-69
• /
• 2001

• 방재와보험
• /
• s.85
• /
• pp.68-69
• /
• 2000

• The Korean Publising Journal, Monthly
• /
• s.39
• /
• pp.1-1
• /
• 1989

• Korea Petroleum Association Journal
• /
• s.284
• /
• pp.45-48
• /
• 2012

• The Korean Publising Journal, Monthly
• /
• s.106
• /
• pp.8-9
• /
• 1992

• The tire
• /
• s.126
• /
• pp.34-38
• /
• 1986

• Health and Mission
• /
• s.11
• /
• pp.13-17
• /
• 2008

• 방재와보험
• /
• s.87
• /
• pp.68-69
• /
• 2000