Sciweavers

Share
DEXAW
2003
IEEE

A Coloured Petri Net Trust Model

10 years 1 days ago
A Coloured Petri Net Trust Model
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.
Peter Lory
Added 04 Jul 2010
Updated 04 Jul 2010
Type Conference
Year 2003
Where DEXAW
Authors Peter Lory
Comments (0)
books