交叉协议安全性分析

摘要：

串空间理论是一种新兴的用于密码协议形式化分析的方法.本文中我们将利用串空间理论对于交叉协议的安全性进行分析,并利用图论中关于有向图的路径长度来说明在何种条件下多个协议交叉运行可以保持协议本身的安全性.

关键词： 串空间 密码协议 交叉协议 信息安全

作者: 孙海波 林东岱 李莉

作者单位: 中科院软件所信息安全国家重点实验室(北京) 武汉大学计算机学院(武汉大学)

会议类型: 国内会议

会议名称: 2003中国计算机大会

会议地点: 北京

会议语种:中文

页码: 237-240

在线出版日期: 2003-11-01（万方平台首次上网日期，不代表论文的发表时间）