安全协议关联性分析

• 作者: 杨明 罗军舟
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 网络安全 协议分析 挑战-响应 线空间模型
• 年，卷（期）: 2006,（7）
• 所属期刊栏目: 学术论文
• 页码范围: 39-45,52
• 页数: 8页
• 分类号: TP393
• 字数: 7623字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-436X.2006.07.007

摘要

提出安全协议本质上是协议主体利用密码学手段通过挑战一响应来对协议另一方的存在做出判断,并同时完成对一些数据例如会话密钥等的协商.依据这种思想,结合认证逻辑中的一些成果,提出了一种新的安全协议关联性的分析方法,该方法对协议认证目标进行了基于线空间模型语义的定义,并将关联性分析归结为Strand的存在关系和Strand参数一致性的分析问题.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗军舟	东南大学计算机科学与工程学院	165	4086	26.0	60.0
2	杨明	东南大学计算机科学与工程学院	166	2616	23.0	45.0