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 条
  • [31] An Approach to Decomposition of Workflow Models based on Petri Net
    Dai, Xuemei
    Qin, Kai
    Jiang, Hao
    PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 1, 2008, : 503 - 506
  • [32] Integrated fault diagnosis based on Petri net models
    Manyari-Rivera, Manuel
    Basilio, Joao Carlos
    Bhaya, Amit
    PROCEEDINGS OF THE 2007 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1-3, 2007, : 1582 - 1587
  • [33] Fault diagnosis based on Petri net reduced models
    Ruiz-Beltran, E.
    Lopez-Mellado, E.
    Ramirez-Trevino, A.
    2006 3RD INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING, 2006, : 193 - +
  • [34] Security Proof of KerNeeS Protocol Based on Logic of Events
    Yang, Ke
    Xiao, Meihua
    Chen, Jia
    THEORETICAL COMPUTER SCIENCE (NCTCS 2018), 2018, 882 : 61 - 79
  • [35] Petri net-based design method of digital circuits
    Zhao, BH
    Yan, YG
    PROCEEDINGS OF THE 4TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-4, 2002, : 363 - 366
  • [36] CPS Information Security Risk Evaluation System Based on Petri Net
    Fu, Yonggui
    Zhu, Jianming
    Gao, Sheng
    2017 IEEE SECOND INTERNATIONAL CONFERENCE ON DATA SCIENCE IN CYBERSPACE (DSC), 2017, : 541 - 548
  • [37] Security attributes analysis of trusted connect architecture based on Petri net
    Ren, Xingtian
    Gaojishu Tongxin/Chinese High Technology Letters, 2012, 22 (08): : 812 - 818
  • [38] Petri net-based protocol synthesis with minimum communication costs
    El-Fakih, Khaled
    Yamaguchi, Hirozumi
    Bochmann, Gregor v.
    Higashino, Teruo
    Journal of the Franklin Institute, 2006, 343 (4-5) : 501 - 520
  • [39] Protocol synthesis from time petri net based service specifications
    Yamaguchi, H
    Okano, K
    Higashino, T
    Taniguchi, K
    1997 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 236 - 243
  • [40] Petri net-based protocol synthesis with minimum communication costs
    El-Fakih, Khaled
    Yamaguchi, Hirozumi
    v. Bochmann, Gregor
    Higashino, Teruo
    JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2006, 343 (4-5): : 501 - 520
12345