密码协议的形式化分析  

Formal Analysis of Cryptographic Protocols

作　　者：束妮娜[1] 王亚弟[1] 

机构地区：[1]信息工程大学电子技术学院,河南郑州450004

出　　处：《计算机应用研究》2001年第10期113-116,共4页Application Research of Computers

摘　　要：在分析四类常用密码协议形式化分析方法的基础上 ,阐述了各自的优缺点。探讨了形式化分析所面临的挑战 ,指出目前在这方面所做的工作以及有待发展的方向。This paper analyzes four kinds of formal methods for the analysis of cryptographic protocols and sets forth the relative merits of each. While the challenges with which formal analysis is faced are discussed, the researches on these aspects and directions of development are presented.

关 键 词：密码协议 形式化分析 通信协议 BAN逻辑 

分 类 号：TN918.2[电子电信—通信与信息系统] TN915.04[电子电信—信息与通信工程]