一种基于Petri网的安全协议验证方法

摘要：

安全协议是实现网络安全的关健,如何验证安全协议的安全性是一个非常重要的工作.论文提出一种基于着色Petri网的安全协议形式化描述与安全验证方法,此方法建立在逆向状态分析和着色Petri网可达性矩阵的基础之上,并采用具体协议来验证该方法的有效性.

关键词：安全协议、着色Petri网、形式化建模与分析、安全验证、可达性分析

所属期刊栏目：26

分类号：TP391(计算技术、计算机技术)

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

页数：共3页

页码：78-80