Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2003.04a
  • /
  • Pages.515-517
  • /
  • 2003
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

An Improved Logic for Cryptographic Protocol Analysis

암호학적 프로토콜 분석을 위한 개선된 논리

  • 주성범 (동아대학교 컴퓨터공학과) ;
  • 홍주형 (동아대학교 컴퓨터공학과) ;
  • 김종훈 (동아대학교 컴퓨터공학과)
  • Published : 2003.04.01
Download PDF
⟨ Previous Next ⟩

Abstract

BAN 논리와 같은 논리를 사용한 암호학적 프로토콜의 형식적 검증 방식은 프로토콜들의 다양한 결점들을 분석할 수 있다. 그러나 BAN 논리와 BAN의 확장된 논리들은 명시적 가정과 목적을 통해 프로토콜의 목적 성취 유무만을 추론할 수 있다. 본 논문에서는 기존의 논리들을 비교 분석하여 메시지 의미를 추론하는 규칙에 대한 정확한 해석에 대해 살펴본다. 그리고 암호학적 프로토콜의 보안 요구사항 중 하나인 메시지 무결성(message integrity)을 논리(logic) 범위에서 추론할 수 있는 방법을 제안한다.

Keywords