云计算环境下数字媒体分发协议及其安全性证明

• 作者: 张春光 田立勤 郭迎九
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: Petri网 安全协议 数字媒体 云计算
• 年，卷（期）: 2012,（12）
• 所属期刊栏目: 建模与仿真理论及方法
• 页码范围: 2431-2433,2438
• 分类号: TP309
• 语种: 中文

摘要

云计算是一种新兴的计算模型，具备可靠性高、数据处理量大、灵活可扩展以及设备利用率高等优势，环境下的数字媒体分发同时又能对数字媒体的版权进行保护是目前的一个热点和难点。提出了一种云计算环境下数字媒体分发协议CDMDP，可有效进行版权保护，并采用基于S—Petri网模型对其安全性进行了形式化证明，新的方法有效避免了状态空间爆炸问题。在证明过程中，采用协议安全性等价原则，对分发协议进行适当简化，使证明更加简洁。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	田立勤	华北科技学院计算机系	44	412	9.0	19.0
2	张春光	北京科技大学信息工程学院	4	12	2.0	3.0
3	郭迎九	北京城市学院信息学部	1	4	1.0	1.0