10.13682/j.issn.2095-6533.2015.05.003
一种分析和改进安全协议的新方法
分析安全协议的执行过程,给出驱动模块(Driving Module,DM)的定义,利用串空间模型构建常规 DM和攻击DM,由此给出一种基于驱动模块的模型检验方法。理论分析显示,该方法搜索广度和深度完善,能避免状态空间爆炸问题,可用于获得有缺陷安全协议的攻击剧本,并证明无缺陷安全协议的安全性。用该方法分析 Otway-Rees协议和TLS协议,获得了 Otway-Rees协议的攻击剧本,得出了 Otway-Rees 协议的两个安全改进版本,说明了TLS协议的安全性。
驱动模块、串空间模型、安全协议、模型检验、攻击剧本
TP393.08(计算技术、计算机技术)
国家自然科学基金资助项目61402367;陕西省信息化技术研究计划资助项目2013-008;西安邮电大学青年教师科研基金资助项目401-1201
2015-09-29(万方平台首次上网日期,不代表论文的发表时间)
共7页
17-23