模型检测技术和密码协议分析  

Model Checking and Cryptographic Protocol Analysis

作　　者：张玉清[1] 吴建平[1] 李星[1] 

机构地区：[1]清华大学信息网络工程研究中心,北京100084

出　　处：《计算机科学》2001年第8期60-62,共3页Computer Science

基　　金：国家863项目(No.863-306-ZD08-01-3)基金

摘　　要：Model checking can aid the design,analysis,and verification of the cryptographic protocols used over open networks and distributed systems. In this paper we give a survey of the state of model checking to the analysis of cryptographic protocols. We attempt to outline some of the major threads of research in this area ,and also to make a suggestion of future work. These conclusions will facilitate the development of using model checker for analysis of cryptographic protocols.Model checking can aid the design, analysis ,and verification of the cryptographic protocols used over open networks and distributed systems. In this paper we give a survey of the state of model checking to the analysis of cryptographic protocols. We attempt to outline some of the major threads of research in this area,and also to make a suggestion of future work. These conclusions will facilitate the development of using model checker for analysis of cryptographic protocols.

关 键 词：模型检测技术 密码协议分析 计算机通信网 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]