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

Digital Media Distributing Protocol Based on Cloud Computing and Proof of Security

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

Cloud computing is an emerging model, with high rellability, mass aata processing, scalability and flexibility features. Distributing the Digital Media Distribution based on the cloud computing is hot and it is difficult to protect the digital rights. The CDMDP Protocol was proposed which could protect the digital rights efficiently and the Security Petri Net model was adopted to formally prove the present security protocol which could avoid the state explosion problem. In this proof, an equality principle was used to transform the security protocols to guarantee the simplicity of the proof.