Authors:
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (9 chapters)
-
Front Matter
-
Back Matter
About this book
Thomas Wölfls Modell umfasst diese zeitlichen Aspekte und ermöglicht erstmals neben der Herleitung von Schlüsselauthentizität auch die Ableitung von Attributauthentizität. So kann die Echtheit von Zugriffsprivilegien und deskriptiven Attributen (z. B. biometrische Referenzmuster, organisatorische Rollen und Haftungserklärungen) für einen bestimmten Zeitpunkt formal bewiesen werden. Das vom Autor entwickelte PROLOG-Programm realisiert eine automatisierte Ableitung, liefert nachweislich korrekte Ergebnisse und terminiert. Die prädikatenlogischen Formeln des Modells sind widerspruchsfrei, sofern keine Rückrufschleife vorliegt.
About the author
Bibliographic Information
Book Title: Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen
Book Subtitle: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate
Authors: Thomas Wölfl
DOI: https://doi.org/10.1007/978-3-8350-9338-6
Publisher: Deutscher Universitätsverlag Wiesbaden
eBook Packages: Business and Economics (German Language)
Copyright Information: Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2006
Softcover ISBN: 978-3-8350-0498-6Published: 26 September 2006
eBook ISBN: 978-3-8350-9338-6Published: 20 November 2007
Edition Number: 1
Number of Pages: XV, 139
Topics: Systems and Data Security, Computer Science, general