一种安全协议组合分析方法  

Combined Analysis Method for Security Protocols

作　　者：陈强[1] 黄连生[1] 赵秀文[1] 

机构地区：[1]清华大学计算机科学与技术系,北京100084

出　　处：《计算机应用研究》2006年第6期105-107,155,共4页Application Research of Computers

基　　金：国家科技部"973"基金资助项目(2003CB314805)

摘　　要：提出了一种安全协议组合分析方法,即使用通用认证协议规范语言CAPSL描述安全协议,然后使用连接器,将CAPSL规范转换为其他安全协议分析工具的形式化输入,从而能够利用不同分析工具的优点,来更好地保证安全协议形式化分析的准确性,同时也方便了安全协议分析者。设计了两个CAPSL连接器,并给出一个协议转换实例。This paper presents a combined analysis method for security protocols. By specifying security protocols using Common Authentication Protocol Specification Language, then convert CAPSL specification into formal inputs for other analysis tools by connector. This method can utilize the advantage of various analysis tools and ensure the accuracy of formal analysis. Meanwhile, it is convenient for analyzer. We design two CAPSL connector and give an instance.

关 键 词：安全协议 组合分析 规范语言 连接器 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]