首页> 中文期刊> 《电子学报》 >基于Petri网的安全协议形式化分析

基于Petri网的安全协议形式化分析

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文提出了一种基于Petri网的安全协议形式化描述和安全性验证的方法.该方法的特点是,利用逆向状态分析判定协议运行过程中可能出现的不安全状态,利用Petri网的状态可达性分析判断这些不安全状态是否可达.通过实例,我们证明了这种方法的有效性.

著录项

来源
《电子学报》 |2004年第11期|1926-1929|共4页
作者
刘道斌; 郭莉; 白硕;
展开▼
作者单位

中国科学院计算技术研究所软件研究室,北京,100080;

中国科学院计算技术研究所软件研究室,北京,100080;

中国科学院计算技术研究所软件研究室,北京,100080;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP393.08;
关键词
安全协议; Petri网; 可达性分析;

相似文献

中文文献
外文文献
专利

1. 基于Petri网的安全协议形式化分析与验证 [J] . 曾杰 ,谢晓尧 . 贵州科学 . 2004,第003期
2. 基于Petri网的多播组动态管理协议IGMP的形式化分析 [J] . 陆正福 ,于光德 ,李亚东 . 计算机应用 . 2002,第007期
3. 基于Petri网的密码协议形式化建模 [J] . 白云莉 ,叶新铭 . 计算机科学 . 2012,第008期
4. 基于着色Petri网的TCP协议的形式化描述及验证 [J] . 李菲 . 现代计算机（专业版） . 2009,第006期
5. 基于CPN的安全协议形式化建模及安全分析方法 [J] . 龚翔 ,冯涛 ,杜谨泽 . 通信学报 . 2021,第009期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于着色Petri网的安全协议形式化分析理论与技术研究 [A] . 马瑞洁 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号