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 条
  • [1] Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net
    Guo, Yingjiu
    Liu, Xuemei
    Shao, Xiufeng
    2013 9TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2013, : 668 - 672
  • [2] Security simulation to security protocol based on coloured Petri net
    Zheng, Jun-Jie
    Xiao, Jun-Mo
    Yang, Ming
    Liu, Zhi-Hua
    Ye, Song
    Zhou, Yan-Nian
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2006, 18 (11): : 3294 - 3296
  • [3] Security Analysis and Enhancement of INTERBUS Protocol in ICS Based on Colored Petri Net
    Feng, Tao
    Liu, Chengfan
    Gong, Xiang
    Lu, Ye
    INFORMATION, 2023, 14 (11)
  • [4] Petri net-based verification of security protocol implementation in software evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, B. B.
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) : 503 - 517
  • [5] Petri Net Models of Adversarial Scenarios in Safety and Security
    Collins, David H.
    Huzurbazar, Aparna, V
    MILITARY OPERATIONS RESEARCH, 2019, 24 (03) : 27 - 47
  • [6] Petri Net Models of Distributed Algorithms. Proof Technique and Intuition
    Bulletin of the European Association for Theoretical Computer Science, (59):
  • [7] Analysis of clock synchronization protocol security using colored Petri net
    Feng, Dong-Qin
    Shen, Jia-Jun
    Chu, Jian
    Kongzhi yu Juece/Control and Decision, 2014, 29 (12): : 2144 - 2150
  • [8] PETRI NET MODELS OF A DISTRIBUTED ELECTION PROTOCOL ON A UNIDIRECTIONAL RING
    FLORIN, G
    KAISER, C
    NATKIN, S
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 483 : 287 - 312
  • [9] Analysis of Security Protocol Based on Petri Nets
    Liu, Fengli
    Han, Wei
    Jiang, Mingyue
    2011 AASRI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INDUSTRY APPLICATION (AASRI-AIIA 2011), VOL 2, 2011, : 48 - 51
  • [10] An Analysis of passenger Security Process Based on Petri Net
    Wu, Haoran
    PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON EDUCATION, MANAGEMENT, INFORMATION AND MECHANICAL ENGINEERING (EMIM 2017), 2017, 76 : 883 - 887
12345