Proof of the security of Digital Media Distributing Protocol based on Petri Net models

被引：0
|
作者：
Guo, Ying-Jiu [1 ,2 ]
Lin, Chuang [2 ]
Yin, Hao [2 ]
Tian, Li-Qin [1 ]
机构：
[1] Information Engineering School, University of Science and Technology Beijing, Beijing 100083, China
[2] Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
来源：
Tien Tzu Hsueh Pao/Acta Electronica Sinica | 2009年 / 37卷 / 05期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1030 / 1036
相关论文
共 50 条
  • [21] Research on Protocol Conformance Testing Method Based on Petri net
    Shu De Qin
    Fan Hao
    Zhang Liang
    PROCEEDINGS OF THE 2015 4TH NATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING ( NCEECE 2015), 2016, 47 : 931 - 937
  • [22] Modeling of SET protocol based on UML and colored Petri net
    Yan, ZJ
    Gan, RC
    2001 INTERNATIONAL CONFERENCES ON INFO-TECH AND INFO-NET PROCEEDINGS, CONFERENCE A-G: INFO-TECH & INFO-NET: A KEY TO BETTER LIFE, 2001, : F124 - F129
  • [23] Modeling of Extended Selective Repeat Protocol Based on Petri Net
    Tang, Mingwei
    Song, Wen
    Fan, Mingyu
    Hu, Jie
    PROCEEDINGS OF 2010 INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND INDUSTRIAL ENGINEERING, VOLS I AND II, 2010, : 945 - 948
  • [24] Petri Net Based Research of Home Automation Communication Protocol
    Chen, Guangxuan
    Du, Yanhui
    Qin, Panke
    Du, Jin
    Li, Na
    PROCEEDINGS OF 2013 CHINESE INTELLIGENT AUTOMATION CONFERENCE: INTELLIGENT AUTOMATION & INTELLIGENT TECHNOLOGY AND SYSTEMS, 2013, 255 : 639 - 649
  • [25] Identification of Petri net models based on an asymptotic approach
    Meda-Campana, M. E.
    Lopez-Lopez, F. J.
    Lopez-Martin, Cuauhtemoc
    Chavoya, Arturo
    2009 9TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, 2009, : 749 - 754
  • [26] Verification of Petri net models based on transition vectors
    Ahmad, Farooq
    Huang, He-Jiao
    Wang, Xiao-Long
    PROCEEDINGS OF 2008 INTERNATIONAL CONFERENCE ON MACHINE LEARNING AND CYBERNETICS, VOLS 1-7, 2008, : 1542 - 1547
  • [27] PETRI NET BASED MODELS FOR THE SPECIFICATION AND VALIDATION OF PROTOCOLS
    DIAZ, M
    AZEMA, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1985, 188 : 101 - 121
  • [28] PETRI NET BASED MODELS - IN THE SPECIFICATION AND VERIFICATION OF PROTOCOLS
    DIAZ, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 255 : 135 - 170
  • [29] Diagnosability in Stochastic Petri Net based DES Models
    Biswal, Pradeep Kumar
    Biswas, Santosh
    2014 22ND MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2014, : 434 - 439
  • [30] Logical inference of clauses based on Petri net models
    Lin, C
    Chanson, ST
    INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 1998, 13 (09) : 821 - 840
12345