Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen (eBook, PDF) - Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate
von Thomas Wölfl
31,46 €
inkl. MwSt.
nicht lieferbar
Produktdetails
Format | |
Dateigröße | 7.6 MB |
Schutz | Wasserzei. |
Verlag | DUV Deutscher Universitäts-Verlag |
Auflage | 2007 |
Umfang | 139 Seiten |
Artikeltyp | eBook |
ISBN-10 | 383509338X |
EAN | 9783835093386 |
Bestell-Nr | 83509338P |
Produktbeschreibung
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.
Mehr Angebote zum Thema