基于时序关系的消息推理及安全协议符号迹分析

• 作者: 吴远成 周明天 谢鸿波
• 来源期刊: 中国电子科学研究院学报
• 学科: 工学
• 关键词: 符号迹 SPI算子 消息推理 形式化分析
• 年，卷（期）: 2010,（2）
• 所属期刊栏目: "信息网络及对抗"专题
• 页码范围: 152-158
• 页数: 7页
• 分类号: TP309
• 字数: 7884字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-5692.2010.02.008

摘要

如何准确地描述敌意环境中的协议运行模型和在统一的框架下分析多种安全属性是安全协议形式化分析中的两个关键问题.提出了基于时序关系的消息推理,把实体的知识与协议的符号迹分析结合起来,构建了协议运行的一般模型.在此模型下,消息间的相互关系被用来统一多种安全属性的形式化表达,定义了相应的属性满足关系,提出了分析安全协议的一般框架.最后给出了一个实例分析,并指出该框架以后的研究方向.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周明天	电子科技大学计算机科学与工程学院	315	3725	27.0	49.0
2	吴远成	电子科技大学计算机科学与工程学院	6	19	2.0	4.0
3	谢鸿波	电子科技大学计算机科学与工程学院	6	18	3.0	4.0