통합 검색 | Korea Science

Abd-Ellah, Hamdy N.;Omran, Abdelrahim Khalifa
- Korean Journal of Mathematics
- /
- 제25권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).
https://doi.org/10.11568/kjm.2017.25.4.513 인용 PDF KSCI

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