摘要
介绍了安全协议的形式化分析思路,阐述了安全协议形式化描述、需求、验证及设计四个方面的研究状况和它们的基本原理,并对常用的几种形式化验证技术的优缺点进行了分析,最后针对形式化技术在该领域的发展前景提出了自己的见解。
The paper introduces the history of analyzing security protocols formally and the thought of analyzing, describes the research and basic principles of security protocols formal description, requirements, verification and designing and also analyzes the advantages and disadvantages of several formal verification techniques .At last, some comments about the future of formal technology in this area are presented.
出处
《计算机与数字工程》
2005年第5期39-43,共5页
Computer & Digital Engineering
关键词
安全协议
形式化
security protocol, formalization