基于Petri网的数字媒体分发协议的安全性证明

郭迎九; 林闯; 尹浩; 田立勤

首页> 中文期刊> 《电子学报》 >基于Petri网的数字媒体分发协议的安全性证明

基于Petri网的数字媒体分发协议的安全性证明

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

安全协议的形式化证明是目前的一个热点和难点问题.本文以一种数字媒体分发协议(DMDP)为例,采用基于Petri网模型并结合进程代数和逻辑归纳方法对其进行形式化证明,新的方法有效避免了状态空间爆炸问题.在证明过程中,采用协议安全性等价原则,对分发协议进行简化,使证明更加简洁.文章同时对证明方法的完备性进行了讨论,说明了Petri网模型证明协议安全性的有效性.

著录项

来源
《电子学报》 |2009年第5期|1030-1036|共7页
作者
郭迎九; 林闯; 尹浩; 田立勤;
展开▼
作者单位

北京科技大学信息工程学院,北京,100083;

清华大学计算机科学与技术系,北京,10084;

清华大学计算机科学与技术系,北京,10084;

清华大学计算机科学与技术系,北京,10084;

北京科技大学信息工程学院,北京,100083;

展开▼
原文格式 PDF
正文语种 chi
中图分类安全保密;
关键词
Petri网; 安全协议; 数字媒体;

相似文献

中文文献
外文文献
专利

1. 基于时间Petri网的MIKEY协议密钥分发研究 [J] . 赵罡 . 绵阳师范学院学报 . 2017,第002期
2. 基于着色Petri网的铁路时间同步协议建模及安全性分析 [J] . 兰丽 ,张友鹏 . 铁道科学与工程学报 . 2019,第004期
3. 基于有色Petri网的铁路时间同步网协议安全性分析 [J] . 张友鹏 ,张昊磊 ,王虹 . 铁道学报 . 2017,第010期
4. 基于有色Petri网的安全协议安全性仿真 [J] . 郑君杰 ,肖军模 ,杨明 . 系统仿真学报 . 2006,第11期
5. 基于事件逻辑的无线Mesh网络认证协议安全性证明 [J] . 李娅楠 ,肖美华 ,李伟 . 计算机工程与科学 . 2017,第012期
6. 基于petri网模型的传感器网络安全协议形式化分析及安全性证明 [C] . Yingjiu Guo ,郭迎九 ,Xuemei Liu . 第十四届全国Petri 网理论与应用学术年会 . 2013
7. 基于扩展Petri网模型的标记分发协议LDP一致性测试生成 [A] . 徐晓东 . 2002

基于Petri网的数字媒体分发协议的安全性证明

摘要

著录项

相似文献

相关主题

期刊订阅