Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2003.04a
- /
- Pages.515-517
- /
- 2003
- /
- 1598-5164(pISSN)
An Improved Logic for Cryptographic Protocol Analysis
암호학적 프로토콜 분석을 위한 개선된 논리
Abstract
BAN 논리와 같은 논리를 사용한 암호학적 프로토콜의 형식적 검증 방식은 프로토콜들의 다양한 결점들을 분석할 수 있다. 그러나 BAN 논리와 BAN의 확장된 논리들은 명시적 가정과 목적을 통해 프로토콜의 목적 성취 유무만을 추론할 수 있다. 본 논문에서는 기존의 논리들을 비교 분석하여 메시지 의미를 추론하는 규칙에 대한 정확한 해석에 대해 살펴본다. 그리고 암호학적 프로토콜의 보안 요구사항 중 하나인 메시지 무결성(message integrity)을 논리(logic) 범위에서 추론할 수 있는 방법을 제안한다.
Keywords