Thomas Wölfl

Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen

Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate. 2006. 21,0 cm / 14,8 cm / 0,9 cm ( B/H/T )

Buch (Softcover), 156 Seiten

EAN 9783835004986

Veröffentlicht September 2006

Verlag/Hersteller Deutscher Universitätsverlag

Auch erhältlich als:

eBook (pdf)

€ 31,46

€ 44,99 inkl. MwSt.

Artikel liefern lassen- Portofrei

Lieferbar innerhalb von 2-3 Tagen (Versand mit Deutscher Post/DHL)

Auf die Wunschliste

Beschreibung

Thomas Wölfls Modell erlaubt erstmals neben der Herleitung von Schlüsselauthentizität auch die Ableitung von Attributauthentizität und umfasst Gültigkeitsdauer und Rückruf von digitalen Zertifikaten. So kann die Echtheit von Zugriffsprivilegien und deskriptiven Attributen für einen bestimmten Zeitpunkt formal bewiesen werden. Das vom Autor entwickelte PROLOG-Programm ermöglicht eine automatisierte Ableitung, liefert nachweislich korrekte Ergebnisse und terminiert.

Portrait

Dr. Thomas Wölfl arbeitet am Institut für Wirtschaftsinformatik der Universität Regensburg.

Inhaltsverzeichnis

Public-Key-Infrastrukturen.- Privilege-Management-Infrastrukturen.- Rückruf von Zertifikaten.- Gültigkeitsmodelle.- Zertifikations- und Delegationsketten.- Formales AAI-Modell.- PROLOG-Programm.- Beispiele.

Hersteller

Deutscher Universitätsvlg
Abraham-Lincoln-Str. 46

DE - 65189 Wiesbaden

E-Mail: ProductSafety@springernature.com