Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen

Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate

Specificaties
Paperback, 139 blz. | Duits
Deutscher Universitätsverlag | 2006e druk, 2006
ISBN13: 9783835004986
Rubricering
Juridisch :
Deutscher Universitätsverlag 2006e druk, 2006 9783835004986
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

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.

Specificaties

ISBN13:9783835004986
Taal:Duits
Bindwijze:paperback
Aantal pagina's:139
Druk:2006

Inhoudsopgave

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

Net verschenen

Rubrieken

    Personen

      Trefwoorden

        Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen