A coloured Petri net trust model

Author

Lory, Peter

Author_Institution

Inst. fur Wirtschaftsinformatik, Univ. Regensburg, Germany

fYear

2003

fDate

1-5 Sept. 2003

Firstpage

415

Lastpage

419

Abstract

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 presented 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 powerful primitives. Elaborate and well tested software is available.

Keywords

Petri nets; electronic commerce; formal specification; formal verification; graph colouring; message passing; public key cryptography; coloured Petri net; data security; distributed systems; electronic commerce; graphical representation; modelling technique; public-key infrastructures; trust model; Electronic commerce; Electronic government; Humans; Petri nets; Power system modeling; Protection; Public key; Public key cryptography; Security; Software testing;

fLanguage

English

Publisher

ieee

Conference_Titel

Database and Expert Systems Applications, 2003. Proceedings. 14th International Workshop on

ISSN

1529-4188

Print_ISBN

0-7695-1993-8

Type

conf

DOI

10.1109/DEXA.2003.1232057

Filename

1232057