Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2004.10a
- /
- Pages.289-291
- /
- 2004
- /
- 1598-5164(pISSN)
Verification of the Carlsen BCY Protocol Using Model Checking
모델체킹을 이용한 Carlsen BCY프로토콜 검증
Abstract
인터넷을 통한 통신의 안전성을 확보하기 위해서는 전송될 정보를 암호화해야 한다 따라서 통신의 주체간에는 공통적인 키의 공유와 상대방의 신원 확인을 위한 절차가 필요하다 정형검증기법은 이러한 네트워크상에서 통신의 안전성을 확보하기 위한 수단으로 사용되며, 본 논문에서는 무선환경기반 보안 프로토콜인 Carlsen BCY프로토콜을 모델 체커인 FDR을 사용하여 검증하였다.
Keywords