基于Petri网的数字媒体分发协议的安全性证明

郭迎九;林闯;尹浩;田立勤

Proof of the Security of Digital Media Distributing Protocol Based on Petri Net Models

GUO Ying-jiu;LIN Chuang;YIN Hao;TIAN Li-qin

电子学报 . 2009, (5): 1030 -1036 .