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

摘要：

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、Cryptographic protocol、Formal methods

所属期刊栏目：28

分类号：TP393(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划863-306-ZD08-01-3

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：60-62