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

摘要：

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

关键词：Petri网、安全协议、数字媒体、云计算

所属期刊栏目：24

分类号：TP309(计算技术、计算机技术)

资助基金：973计划项目2011CB311809;国家自然科学基金61163050,60873254,60932003;新世纪优秀人才支持计划NCET-10-0101;河北省自然科学基金F2010001745

在线出版日期：2013-03-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：2431-2433,2438