보안 프로토콜의 안전성 분석을 위한 정형적 방법론
Formal Methodology for Safety Analysis of Security Protocols
0
조회
0
다운로드
1
인용
0
참고문헌
초록
유무선 네트워크의 활성화와 더불어 중요 자원 혹은 사용자 정보 보호를 위해 다양한 보안프로토콜들이 개발되고 있다. 하지만, 대부분의 많은 보안 프로토콜들은 개발된 후, 시간이 지남에 따라 점차 보안 취약점들이 하나둘 발견되고 있다. 본 논문에서는 안전한 보안프로토콜을 개발하기 위해, EKE 프로토콜 분석 예제를 통해, 설계단계에서 보안 프로토콜의 안전성을 검증하는 정형적 방법론에 대해 소개하고, 정형적 검증 방법론의 실효성을 보이기 위해, Casper 및 FDR 도구를 이용하여 BCY 프로토콜의 안전성을 분석한 후, 보안성을 향상시킨 새로운 BCY 프로토콜을 제안한다.
Abstract
With the development of wire and wireless based networks, a various security protocols have been proposed to protect important resources and user information against attackers. However, many security protocols have found only to be later vulnerable to attacks. In this paper, we introduce the formal methodology to verify the safety of security protocols in the design phase, and we take advantage of the formal methodology which uses Casper/CSP and FDR tools by introducing the verification example of EKE protocol and BCY protocol. Lastly, we propose a new BCY protocol after verifying it's safety.
참고문헌 (15)
- "Diffie-Hellman 키 교환을 이용한 확장성을 가진 계층적 그룹키 설정 프로토콜", 13(5), pp.3~15 (2003)
- "일방향 함수와 XOR을 이용한 효율적인 그룹키 관리 프로토콜", 12(6), pp.93~112 (2002)
- "Breaking and Fixing the Needham-Schroeder Public-Key Protocol", pp.147~166 (1996)
- "Formal Methods as an Environmental Catalyst for Emergent Security in System Design and Construction" (2002)
- "Remote vulnerability in SSH daemon crc32 compensation attack detector" (2001)
- "Failure Divergence Refinement-FDR2 User Manual"
- "Symbolic Model Checking" (1992)
- "The Model Checker SPIN", 23(5), pp.279~295 (1997)
- "A Logic of Authentication In Proceeding of the Royal Society", (426 1871), pp.233~271
- "Reasoning about Belief in Cryptographic Protocols", ieee symposium on research in security and privacy, pp.234~248 (1990)
- "Password-Based Protocols Secure Against Dictionary Attacks Proceedings of the IEEE Computer Society Conference on Research in Security and Privacy", pp.72~84 (1992)
- "A compiler for the analysis of security protocols" (1997)
- "Casper:A Compiler for the Anaysis of Security Protocols" (1999)
- "Privacy and authentication on a portable communications system", 1, pp.821~829 (1994)
- "Analysis of a mobile communication security protocol", pp.322~328 (2003)