基于运行模式法的安全协议分析

摘要：

安全协议的形式化分析是网络安全领域的研究热点。本文以运行模式法为基础，Petri网为工具，给出一种分析安全协议的具体方法，并以TMN协议为例说明了该方法的有效性。

关键词： 安全协议 运行模式 Petri网 并行攻击 网络安全

作者: 董卫 王婷婷

作者单位: 山东农业大学信息学院,山东泰安 271018

会议类型: 国内会议

会议名称: 2008年中国信息技术与应用学术论坛

会议地点: 成都

会议语种:中文

页码: 249-251

在线出版日期: 2008-04-01（万方平台首次上网日期，不代表论文的发表时间）