Publikationen von Dresp, Wiebke
Dresp, Wiebke (2008) Verteiltes Datenverwaltungssystem für Authentifizierungs- und Autorisierungsinfrastrukturen: P2P-ZuSI. Formales Modell und Sicherheitsanalyse. Dissertation, Universität Regensburg.
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, S. 230-239. ISBN 978-3-540-28791-9. Zugang zum Volltext eingeschränkt.