基于Petri网的密码协议形式化建模

摘要：

密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用.提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法.采用新方法对TMN协议的多次并发会话通信进行形式化建模,模型依据会话配置和会话顺序进行功能单元划分,采用on-the-fly 方法生成攻击路径.采用状态空间搜索技术,发现了该协议的多次并发会话不安全状态,并获得了新的攻击模式.

关键词：密码协议、TMN、CPN、多次并发会话

所属期刊栏目：39

分类号：TP393.06(计算技术、计算机技术)

资助基金：国家自然科学基金;国家重点基础研究发展计划（973计划）;内蒙古自治区自然科学基金重点项目

在线出版日期：2012-12-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：70-74