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

• 作者: 尹浩 林闯 田立勤 郭迎九
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: Petri网 安全协议 数字媒体
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 学术论文
• 页码范围: 1030-1036
• 页数: 7页
• 分类号: TP309
• 字数: 6224字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.05.022

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林闯	清华大学计算机科学与技术系	151	10702	46.0	102.0
2	田立勤	北京科技大学信息工程学院	6	223	5.0	6.0
3	尹浩	清华大学计算机科学与技术系	23	380	11.0	19.0
4	郭迎九	北京科技大学信息工程学院	2	9	1.0	2.0