Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen
| Autor: | Thomas Wölfl |
|---|---|
| EAN: | 9783835093386 |
| eBook Format: | |
| Sprache: | Deutsch |
| Produktart: | eBook |
| Veröffentlichungsdatum: | 20.11.2007 |
| Untertitel: | Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate |
| Kategorie: | |
| Schlagworte: | Authentifizierung Autorisierung Formales Modell Gültigkeitsdauer Management Modellierung Zertifikatenrückruf |
31,46 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.
Dr. Thomas Wölfl arbeitet am Institut für Wirtschaftsinformatik der Universität Regensburg.
Dr. Thomas Wölfl arbeitet am Institut für Wirtschaftsinformatik der Universität Regensburg.
Verwandte Artikel
Weitere Produkte vom selben Autor