Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen
31,46 €*
Nach dem Kauf zum Download bereit Ein Downloadlink ist wenige Minuten nach dem Kauf im eigenen Benutzerprofil verfügbar.
ISBN/EAN:
9783835093386
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.
| 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 |
Anmelden
Möchten Sie lieber vor Ort einkaufen?
Haben Sie weiterführende Fragen zu diesem Buch oder anderen Produkten? Oder möchten Sie einfach doch lieber in der Buchhandlung stöbern? Wir sind gern persönlich für Sie da und beraten Sie auch telefonisch.
Buchhandlung Nettesheim GmbH
Hauptstraße 17
42349 Wuppertal
Telefon: 0202/472870
Mo – Fr09:30 – 18:00 UhrSa09:00 – 13:00 Uhr