安全协议的等价性问题

• 作者: 何大可 缪祥华
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 安全协议 等价 表达式 最一般代换
• 年，卷（期）: 2007,（19）
• 所属期刊栏目: 博士论文
• 页码范围: 45-46
• 页数: 2页
• 分类号: TP309
• 字数: 2201字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2007.19.015

摘要

研究了安全协议的等价性问题,提出了安全协议等价的概念.把每个安全协议的消息和目标分别形式化为表达式集,通过一个算法分别求各表达式集合的最一般代换.如果最一般代换都存在,说明安全协议是等价的,反之则说明安全协议是不等价的.利用安全协议集合上的等价关系,可以划分出安全协议等价类,从而减少了需研究的安全协议的数量.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何大可	西南交通大学信息安全与国家计算网格实验室	182	1679	20.0	31.0
2	缪祥华	昆明理工大学信息工程与自动化学院	23	24	3.0	3.0