Custom cover image
Custom cover image

Formale Modellierung von Authentifizierung und Authorisierung infrastrukturen : Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate / von Thomas Wölfl

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: German Series: SpringerLink BücherPublisher: Wiesbaden : DUV, 2006Description: Online-Ressource (XV, 139 S, online resource)ISBN:
  • 9783835093386
Subject(s): Additional physical formats: 9783835004986 | Druckausg.: 978-383-50049-8-6 LOC classification:
  • HF54.5-54.56
DOI: DOI: 10.1007/978-3-8350-9338-6Online resources: Summary: Public-Key-Infrastrukturen -- Privilege-Management-Infrastrukturen -- Rückruf von Zertifikaten -- Gültigkeitsmodelle -- Zertifikations- und Delegationsketten -- Formales AAI-Modell -- PROLOG-Programm -- Beispiele.Summary: Moderne Computeranwendungen, die ein offenes Netz wie das Internet nutzen, benötigen zuverlässige Methoden zur digitalen Signatur, zur Verschlüsselung und zur Autorisierung. Bisherige formale Modelle konzentrieren sich auf Public-Key-Infrastrukturen, wobei die Authentizität kryptographischer öffentlicher Schlüssel im Mittelpunkt steht. Rückruf und Gültigkeitsdauer digitaler Zertifikate werden jedoch vernachlässigt. Thomas Wölfls Modell umfasst diese zeitlichen Aspekte und ermöglicht erstmals neben der Herleitung von Schlüsselauthentizität auch die Ableitung von Attributauthentizität. So kann die Echtheit von Zugriffsprivilegien und deskriptiven Attributen (z. B. biometrische Referenzmuster, organisatorische Rollen und Haftungserklärungen) für einen bestimmten Zeitpunkt formal bewiesen werden. Das vom Autor entwickelte PROLOG-Programm realisiert eine automatisierte Ableitung, liefert nachweislich korrekte Ergebnisse und terminiert. Die prädikatenlogischen Formeln des Modells sind widerspruchsfrei, sofern keine Rückrufschleife vorliegt.PPN: PPN: 1646975219Package identifier: Produktsigel: ZDB-2-SEB | ZDB-2-SWI
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT