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

• 作者: 周青 张伟 顾明甲
• 来源期刊: 科技与创新
• 关键词: 安全协议 着色Petri网 形式化建模与分析 安全验证 可达性分析
• 年，卷（期）: 2010,（15）
• 页码范围: 78-80
• 分类号: TP391
• 语种: 中文
• DOI: 10.3969/j.issn.2095-6835.2010.15.032

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周青	江南大学信息工程学院	244	2828	26.0	39.0
2	张伟	江南大学信息工程学院	76	368	10.0	14.0
3	顾明甲	江南大学信息工程学院	3	13	2.0	3.0