보안 프로토콜의 안전성 분석을 위한 정형적 방법론

Vol. 15, No. 1, pp. 17-28, 2월. 2005
10.13089/JKIISC.2005.15.1.17, Full Text:
Keywords: Security, Protocol, CSP, Casper, FDR, EKE, BCY
Abstract

유ㆍ무선 네트워크의 활성화와 더불어 중요 자원 혹은 사용자 정보 보호를 위해 다양한 보안프로토콜들이 개발되고 있다. 하지만, 대부분의 많은 보안 프로토콜들은 개발된 후, 시간이 지남에 따라 점차 보안 취약점들이 하나둘 발견되고 있다. 본 논문에서는 안전한 보안프로토콜을 개발하기 위해, EKE 프로토콜 분석 예제를 통해, 설계단계에서 보안 프로토콜의 안전성을 검증하는 정형적 방법론에 대해 소개하고, 정형적 검증 방법론의 실효성을 보이기 위해, Casper 및 FDR 도구론 이용하여 BCY 프로토콜의 안전성을 분석한 후, 보안성을 향상시킨 새로운 BCY 프로토콜을 제안한다.

Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
K. Il-Gon, J. Chul-Wuk, K. Hyun-Seok, C. Jin-Young and K. In-Hye, "Formal Methodology for Safety Analysis of Security Protocols," Journal of The Korea Institute of Information Security and Cryptology, vol. 15, no. 1, pp. 17-28, 2005. DOI: 10.13089/JKIISC.2005.15.1.17.

[ACM Style]
Kim Il-Gon, Jeon Chul-Wuk, Kim Hyun-Seok, Choi Jin-Young, and Kang In-Hye. 2005. Formal Methodology for Safety Analysis of Security Protocols. Journal of The Korea Institute of Information Security and Cryptology, 15, 1, (2005), 17-28. DOI: 10.13089/JKIISC.2005.15.1.17.