Petri net-based modeling and verification of confidentiality policy

被引：0
|
作者：
Zhang, Zhaoli [1 ]
Hong, Fan [1 ]
Liao, Junguo [1 ]
机构：
[1] College of Computer Science and Technology, Huazhong University of Science and Technology, Wuhan 430074, China
来源：
Huazhong Keji Daxue Xuebao (Ziran Kexue Ban)/Journal of Huazhong University of Science and Technology (Natural Science Edition) | 2007年 / 35卷 / 10期
关键词：
10;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：28 / 31
相关论文
共 50 条
  • [1] Realization of Petri net-based consistency verification in computer
    Ding, C.
    Li, E.
    [J]. Journal of Mechanical Strength, 2001, 23 (03) : 280 - 282
  • [2] Petri net-based representation of rules and verification of consistency
    丁彩虹
    姜兴渭
    黄文虎
    [J]. Journal of Harbin Institute of Technology(New series), 2001, (02) : 125 - 128
  • [3] Petri net-based modeling of hybrid dynamic systems
    Gotesman, M
    LopezBenitez, N
    [J]. ETFA '96 - 1996 IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, VOLS 1 AND 2, 1996, : 553 - 559
  • [4] Petri net-based modeling of switching arrangements & simulation
    Liao, Xiaoping
    Zhang, XinFang
    Liao, Xiaoping
    Jiang, Juan
    [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS AND AUTOMATIONS, VOLS 1-4, CONFERENCE PROCEEDINGS, 2005, : 1545 - 1550
  • [5] A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
    Du, YuYue
    Jiang, ChangJun
    Zhou, MengChu
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2009, 39 (02): : 299 - 308
  • [6] Petri net-based verification of security protocol implementation in software evolution
    Bin Ahmadon, Mohd Anuaruddin
    Yamaguchi, Shingo
    Gupta, B. B.
    [J]. INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2018, 10 (06) : 503 - 517
  • [7] Petri net-based modeling and simulation of a hybrid manufacturing system
    Jalilvand, A
    Khanmohammadi, S
    Shabaninia, F
    [J]. IEEE: 2005 INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES, PROCEEDINGS, 2005, : 382 - 387
  • [8] Small Spacecraft Software Modeling: A Petri Net-Based Approach
    Malott, Levi
    Palangpour, Pasha
    Pernicka, Henry
    Chellappan, Sriram
    [J]. JOURNAL OF AEROSPACE INFORMATION SYSTEMS, 2014, 11 (10): : 679 - 690
  • [9] Petri net-based modeling and VHDL implementation of digital systems
    Wan, Jun
    [J]. PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ELECTRONIC TECHNOLOGY, 2016, 48 : 108 - 111
  • [10] Petri net-based modeling of a class of complex digital systems
    Jayaram, R
    Raman, S
    Raj, RV
    Patnaik, LM
    [J]. COMPUTERS & ELECTRICAL ENGINEERING, 1997, 23 (01) : 41 - 53
12345