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

PDF(1067 KB)

电子学报 ›› 2009, Vol. 37 ›› Issue (5) : 1030-1036.

论文

作者信息 +

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

Author information +

文章历史 +

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2009, 37(5): 1030-1036.

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. Acta Electronica Sinica, 2009, 37(5): 1030-1036.

中图分类号：

原文顺序 | 文献年度倒序 | 文中引用次数倒序

PDF(1067 KB)

Accesses

Citation

Detail

国家自然科学基金(No.60673184,No.60673187,No.60673054,No.90412012);973计划前期研究专项(No.2006CB708301);中国移动通信研究院项目和教育部科技创新培育重点项目(No.707005)

段落导航