A coloured Petri net trust model

被引：3
|
作者：
Lory, P [1 ]
机构：
[1] Univ Regensburg, Inst Wirtschaftsinformat, D-93040 Regensburg, Germany
来源：
14TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS | 2003年
关键词：
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 条
  • [31] Using Hierarchical Coloured Petri Net to Support Substation Restoration
    Lisboa, Luciano A. C.
    Lima, Antonio M. N.
    Silva, Leandro D.
    [J]. 2009 IEEE BUCHAREST POWERTECH, VOLS 1-5, 2009, : 2677 - +
  • [32] A coloured Petri net framework for modelling aircraft fleet maintenance
    Sheng, Jingyu
    Prescott, Darren
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2019, 189 : 67 - 88
  • [33] Translation validation of coloured Petri net models of programs on integers
    Bandyopadhyay, Soumyadip
    Sarkar, Dipankar
    Mandal, Chittaranjan
    Giese, Holger
    [J]. ACTA INFORMATICA, 2022, 59 (06) : 725 - 759
  • [34] Procedural constraints in the extended RBAC and the Coloured Petri Net modeling
    Shin, W
    Lee, JG
    Kim, HK
    Sakurai, K
    [J]. IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2005, E88A (01): : 327 - 330
  • [35] A methodology for mapping live sequence chart to coloured petri net
    Amorim, L
    Maciel, P
    Nogueira, M
    Barreto, R
    Tavares, E
    [J]. INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 2999 - 3004
  • [36] 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
    [J]. Xitong Fangzhen Xuebao / Journal of System Simulation, 2006, 18 (11): : 3294 - 3296
  • [37] Coloured Petri Net simulator: A generic tool for production planing
    Narciso, ME
    Piera, MA
    [J]. ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, 2001, : 139 - 147
  • [38] Coloured Petri net refinement specification and correctness proof with Coq
    Choppy, Christine
    Mayero, Micaela
    Petrucci, Laure
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2010, 6 (03) : 195 - 202
  • [39] A Timed Coloured Petri net supervisor for urban traffic networks
    Huang, Yi-Sheng
    Chung, Ta-Hsiang
    Lin, Jenn-Huei
    [J]. 2006 IMACS: MULTICONFERENCE ON COMPUTATIONAL ENGINEERING IN SYSTEMS APPLICATIONS, VOLS 1 AND 2, 2006, : 2151 - +
  • [40] Cooperative arrival management in air traffic control a coloured Petri net model of sequence planning
    Oberheid, Hendrik
    Soeffker, Dirk
    [J]. APPLICATIONS AND THEORY OF PETRI NETS, 2008, 5062 : 348 - +
12345