安全协议的形式化分析方法研究  

A STUDY OF ANALYZING SECURITY PROTOCOLS FORMALLY

作　　者：陈平[1] 刘东喜[1] 白英彩[1] 

机构地区：[1]上海交通大学计算机科学与工程系,上海200030

出　　处：《计算机应用与软件》2003年第5期48-50,71,共4页Computer Applications and Software

摘　　要：安全协议在网络信息安全中扮演着重要角色,但保证安全协议的正确是一个很困难的问题。现在,许多形式化方法都被用来分析安全协议,本文中我们研究各种方法的基本思想、它的优缺点、发展趋势以及方法之间的关系。最后,说明安全协议形式化分析的困难所在。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.

关 键 词：通信协议 安全协议 形式化分析方法 信息安全 网络安全 计算机网络 

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