摘要
安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化分析的困难所在。
Security protocols play an important role in the network information security,but it is very difficult to guarantee their correctness. Now, many formal methods have been used to analyze security protocols, and in this paper, we study the basic idea behind each method, and their advantages and disadvantages, theff trends as well as the relations among these methods. At last, we explain the difficulty of analyzing security protocols formally.
出处
《计算机应用与软件》
CSCD
北大核心
2003年第5期48-50,71,共4页
Computer Applications and Software
