A coloured Petri net trust model

被引:3
|
作者
Lory, P [1 ]
机构
[1] Univ Regensburg, Inst Wirtschaftsinformat, D-93040 Regensburg, Germany
关键词
D O I
10.1109/DEXA.2003.1232057
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys. Formal models for public-key infrastructures (trust models) contribute decisively to a deeper understanding of the desirable design principles of these infrastructures. The trust model of the present paper is based on the modelling technique of coloured Petri nets. These are a special class of high-level Petri nets with an intuitively appealing graphical representation and a few, but powerful primitives. Elaborate and well tested software is available.
引用
收藏
页码:415 / 419
页数:5
相关论文
共 50 条
  • [1] An automated trust negotiation model based on improved coloured timed Petri net
    Yu, Dingguo
    Chen, Nan
    [J]. INTERNATIONAL JOURNAL OF SENSOR NETWORKS, 2014, 16 (02) : 61 - 69
  • [2] Timed coloured Petri net model for misuse intrusion detection
    Srinivasan, N.
    Vaidehi, V.
    [J]. 2006 INTERNATIONAL CONFERENCE ON INDUSTRIAL AND INFORMATION SYSTEMS, VOLS 1 AND 2, 2006, : 550 - +
  • [3] Monitoring Vaccine Cold Chain Model with Coloured Petri Net
    Ouzayd, Fatima
    Mansouri, Hajar
    Tamir, Manal
    Chiheb, Raddouane
    Benhouma, Zied
    [J]. INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS, 2018, 9 (05) : 433 - 438
  • [4] A hierarchical coloured Petri net model of fleet maintenance with cannibalisation
    Sheng, Jingyu
    Prescott, Darren
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2017, 168 : 290 - 305
  • [5] Coloured Petri net model of application specific logic controller programs
    Wegrzyn, M
    Wolanski, P
    Adamski, M
    Monteiro, JL
    [J]. ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, 1997, : SS158 - SS163
  • [6] A process-oriented model for authentication on the basis of a coloured Petri net
    Lory, P
    [J]. BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2003, 2678 : 232 - 245
  • [7] A coloured Petri net approach to protocol verification
    Billington, J
    Gallasch, GE
    Han, B
    [J]. LECTURES ON CONCURRENCY AND PETRI NETS: ADVANCES IN PETRI NETS, 2004, 3098 : 210 - 290
  • [8] BUILDING AN EFFICIENT COLOURED PETRI NET SIMULATOR
    Mujica Mota, Miguel A.
    Angel Piera, Miquel
    [J]. INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 153 - 158
  • [9] Parameterised Coloured Petri Net Channel Models
    Billington, Jonathan
    Vanit-Anunchai, Somsak
    Gallasch, Guy E.
    [J]. TRANSACTIONS ON PETRI NETS AND OTHER MODELS OF CONCURRENCY III, 2009, 5800 : 71 - +
  • [10] Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
    Ahishakiye, Faustin
    Jarabo, Jose Ignacio Requeno
    Kristensen, Lars Michael
    Stolz, Volker
    [J]. VERIFICATION AND EVALUATION OF COMPUTER AND COMMUNICATION SYSTEMS, VECOS 2020, 2020, 12519 : 68 - 83