A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net

Lory, Peter Aalst, Wil van der , eds.

PDF
(462kB) - Repository staff only

Date of publication of this fulltext: 05 Aug 2009 13:50

Alternative links to fulltext:DOI Publisher

Details

Export bibliographical data

Abstract

Public-key cryptography is a prerequisite for security in distributed systems and for reliable electronic commerce. The protection of public keys against attacks is the Achilles’ heel of public-key cryptography. It is the goal of public-key infrastructures to provide the authenticity of the public keys for its participants. Formal models (called trust models) contribute decisively to a deeper ...