交叉协议安全性分析

• 作者: 孙海波 李莉 林东岱
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 串空间 密码协议 交叉协议
• 年，卷（期）: 2004,（33）
• 所属期刊栏目: 网络、通信与安全
• 页码范围: 173-175
• 页数: 3页
• 分类号: TP309
• 字数: 4090字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.33.055

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李莉	武汉大学计算机学院	107	730	14.0	22.0
2	林东岱	中国科学院软件所信息安全国家重点实验室	38	152	7.0	10.0
3	孙海波	中国科学院软件所信息安全国家重点实验室	4	11	3.0	3.0