2008 International Conference on Networking, Architecture, and Storage Formal Proof of the IDOP_SP Protocol Based on the Petri Net June 12-June 14 ISBN: 978-0-7695-3187-8
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/NAS.2008.50
IDOP_SP (IPTV DRM interactive Operating Platform Security Protocol) protocol is a applied complicated protocol which distributes digital media content in the Internet. The flow of the protocol is based on the behavior of web service composition and the digital content is transmitted to the customer in the form of hybrid digital objects. But the protocol security only can be assured after the protocol is formally analyzed and verified. In this paper, we use a Petri Net to model the IDOP_SP and verify the security of the IDOP_SP protocol based on the model. The result shows that the applied complicated protocol is secure which satisfies confidentiality, authentication and non-repudiation. It also shows that the Petri Net is a good tool to verify the security of complicated protocols.
Index Terms:
Petri Net, Security Protocol, Digital Media, Proof
Citation:
Yingjiu Guo, Chuang Lin, Hao Yin, "Formal Proof of the IDOP_SP Protocol Based on the Petri Net," nas, pp.161-162, 2008 International Conference on Networking, Architecture, and Storage, 2008 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb