浏览全部资源
扫码关注微信
1. 上海交通大学分布计算技术中心
2. 上海交通大学分布计算技术中心 上海200030
纸质出版日期:2002
移动端阅览
[1]张亚英,梁坚,尤晋元.认证协议相关性分析[J].通信学报,2002(01):103-110.
[1]张亚英,梁坚,尤晋元.认证协议相关性分析[J].通信学报,2002(01):103-110. DOI:
DOI:
本文提出认证协议的相关性问题
并引入关联因子的概念
从消息相关和协议相关两个层次上对相关性进行描述
同时将协议的运行看作是攻击者和协议环境交互的模型。我们用CSP的模型检查工具FDR2对该模型进行形式化描述
以著名的Needham-Schroeder 公钥协议为例分析其相关性
得出了理想的结果。
0
浏览量
55
下载量
CSCD
关联资源
相关文章
相关作者
相关机构