基于可达关系的安全协议保密性分析

• 作者: 傅育熙 朱涵 顾永跟
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 安全协议 可达关系 进程演算 消息推理
• 年，卷（期）: 2007,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 255-261
• 页数: 7页
• 分类号: TP3
• 字数: 6212字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2007.02.012

摘要

借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅育熙	上海交通大学计算机科学与工程系	23	137	6.0	11.0
2	顾永跟	湖州师范学院计算机科学与技术系	29	121	6.0	9.0
6	朱涵	上海交通大学计算机科学与工程系	2	11	1.0	2.0