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

被引：1

作者：

郭迎九 ^{[1
]}

张春光 ^{[2
]}

田立勤 ^{[3
]}

机构：

[1] 北京城市学院信息学部

[2] 北京科技大学信息工程学院

[3] 华北科技学院计算机系

来源：

系统仿真学报 | 2012年 / 24卷 / 12期

关键词：

Petri网; 安全协议; 数字媒体; 云计算;

D O I：

10.16182/j.cnki.joss.2012.12.026

中图分类号：

TP309 [安全保密];

学科分类号：

081201 ; 0839 ; 1402 ;

摘要：

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

引用

页码：2431 / 2433+2438 +2438

页数：4

共 4 条

[1] 基于Petri网的数字媒体分发协议的安全性证明 [J].

郭迎九 ;

林闯 ;

尹浩 ;

田立勤 .

电子学报, 2009, 37 (05) :1030-1036

[2] 数字版权管理技术及应用研究进展 [J].

范科峰 ;

莫玮 ;

曹山 ;

赵新华 ;

裴庆祺 .

电子学报, 2007, (06) :1139-1147

[3] 下一代互联网体系结构研究 [J].

林闯 ;

雷蕾 .

计算机学报, 2007, (05) :5693-5711

[4]

随机Petri网和系统性能评价.[M].林闯著;.清华大学出版社.2005,

← 1 →