Proof of the Security of Digital Media Distributing Protocol Based on Petri Net Models
Liqin Tian · Dianzi xuebao · 2009
The formal proof of the security protocol becomes a hot and hard issue.Taking the Digital Media Distribution Protocol as an example,the Petri Net model is adopted which combined with the process algebra and the logical induction methods to formally prove the present security protocol and can avoid the state explosion problem.In this proof an equality principle is used to transform the security protocols to guarantee the simplicity of the proof.At the same time,the completeness of the proof is discussed and what we have done shows the validity of proving the security of protocol with a Petri Net model.