首页> 中文期刊> 《贵州科学》 >基于Petri网的安全协议形式化分析与验证

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

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

形式化分析方法由于它简洁性成为网络协议的可靠途径.本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系,并且对Petri的模型进行可达性分析从而验证了RSA的安全性.

著录项

来源
《贵州科学》 |2004年第3期|80-82|共3页
作者
曾杰; 谢晓尧;
展开▼
作者单位

贵州工业大学,计算机科学与技术系,贵州,贵阳,550003;

贵州工业大学,计算机科学与技术系,贵州,贵阳,550003;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
petri; 形式化; 安全协议;

相似文献

中文文献
外文文献
专利

1. 基于着色Petri网的TCP协议的形式化描述及验证 [J] . 李菲 . 现代计算机（专业版） . 2009,第006期
2. 基于Petri网的安全协议形式化分析 [J] . 刘道斌 ,郭莉 ,白硕 . 电子学报 . 2004,第011期
3. 基于ProVerif的安全协议形式化分析与验证 [J] . 汪卫 . 计算机安全 . 2011,第010期
4. 基于划分软件安全Petri网的需求形式化验证 [J] . 李震 ,刘斌 ,苗虹 . 系统工程与电子技术 . 2012,第009期
5. 基于Petri网的多播组动态管理协议IGMP的形式化分析 [J] . 陆正福 ,于光德 ,李亚东 . 计算机应用 . 2002,第007期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于网络协议的Petri网研究——利用着色Petri网分析验证安全协议 [A] . 顾明甲 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号