• 제목/요약/키워드: BAN

검색결과 1,824건 처리시간 0.032초

STUDY ON BCN AND BAN RULED SURFACES IN 𝔼3

  • 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).

지불프로토콜 보안 검증을 위한 구조 (A Framework for Verifying Payment Protocol Security)

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

  • PDF