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

Lory, Peter (2003) A Process-Oriented Model for Authentication on the Basis of a Coloured Petri Net. In: Aalst, Wil van der, (ed.) Business Process Management. Lecture Notes in Computer Science, 2678. Springer, Berlin, pp. 232-245. ISBN 978-3-540-40318-0.

PDF
Download (462kB) - Repository staff only

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

at publisher (via DOI)

Other URL: http://www.springer.com/computer/database+management+%26+information+retrieval/book/978-3-540-40318-0

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 ...