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 条
  • [21] A coloured Petri net analysis of the Transaction Internet Protocol
    Georgiadis, Christos K.
    Pimenidis, Elias
    Kokkinidis, Ioannis
    [J]. INTERNATIONAL JOURNAL OF ELECTRONIC SECURITY AND DIGITAL FORENSICS, 2010, 3 (03) : 204 - 222
  • [22] Coloured Petri Net Diagnosers for Lumped Process Systems
    Toth, Attila
    Nemeth, Erzsebet
    Hangos, Katalin M.
    [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT II, 2010, 6277 : 389 - +
  • [23] RESEARCH ON WORKFLOW MODELING BASED ON COLOURED PETRI NET
    Zhang Liang
    Yao Jiayi
    Zhang Yingrui
    [J]. ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 1, 2011, : 423 - 426
  • [24] A Coloured Petri Net Analysis of the Transaction Internet Protocol
    Georgiadis, Christos K.
    Kokkinidis, Ioannis
    Pimenidis, Elias
    [J]. GLOBAL SECURITY, SAFETY, AND SUSTAINABILITY, 2010, 92 : 238 - +
  • [25] An improved coloured petri net model for software component allocation on heterogeneous embedded systems
    Al-Azzoni, Issam
    [J]. Journal of Computing and Information Technology, 2018, 26 (02): : 85 - 97
  • [26] A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems
    Jaidka, Sapna
    Reeves, Steve
    Bowen, Judy
    [J]. 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 347 - 354
  • [27] Hierarchical Coloured Petri Net based Random Direction Mobility Model for Wireless Communications
    Khan, Naeem Akhtar
    Ahmad, Farooq
    Hussain, Syed Asad
    Naseer, Mudasser
    [J]. KSII TRANSACTIONS ON INTERNET AND INFORMATION SYSTEMS, 2016, 10 (08): : 3656 - 3671
  • [28] Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model
    Wu, NQ
    Zeng, WQ
    [J]. INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2002, 40 (01) : 223 - 238
  • [29] Compatibility Checking of REST API Based on Coloured Petri Net
    Li, Li
    Chou, Wu
    [J]. WEB INFORMATION SYSTEMS AND TECHNOLOGIES, WEBIST 2015, 2016, 246 : 25 - 43
  • [30] 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 - +
12345