![]() | Up a level |
Dresp, Wiebke (2005) Security Analysis of the Secure Authentication Protocol by Means of Coloured Petri Nets. In: Dittmann, Jana, (ed.) Communications and Multimedia Security. Lecture Notes in Computer Science, 3677. Springer, Berlin, pp. 230-239. ISBN 978-3-540-28791-9.
Dresp, Wiebke (2008) Verteiltes Datenverwaltungssystem für Authentifizierungs- und Autorisierungsinfrastrukturen: P2P-ZuSI. Formales Modell und Sicherheitsanalyse. PhD, Universität Regensburg