交叉协议安全性分析  

The Security Analysis of Mixed Protocols

作　　者：孙海波[1] 林东岱[1] 李莉[2] 

机构地区：[1]中国科学院软件所信息安全国家重点实验室,北京100080 [2]武汉大学计算机学院,武汉430072

出　　处：《计算机工程与应用》2004年第33期173-175,共3页Computer Engineering and Applications

基　　金：国家自然科学基金(编号:60373048);国家自然科学基金(编号:NSFC90204016);国家863高技术研究发展计划课题(编号:2003AA144030)

摘　　要：串空间理论是一种新兴的用于密码协议形式化分析的方法。该文将利用串空间理论对交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性。Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.This paper applies the same method to the related problem of mixed protocols,and by applying the path length of one di-rected graph in graph theory shows that under which condition a protocol can remain correct when used in combination with a range of other protocols.

关 键 词：串空间 密码协议 交叉协议 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]