Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen

1. Front Matter

   Pages I-XV

   PDF

2. Einleitung

   Pages 1-3

3. Public-Key-Infrastrukturen

   Pages 5-27

4. Privilege-Management-Infrastrukturen

   Pages 29-41

5. Rückruf von Zertifikaten

   Pages 43-56

6. Gültigkeitsmodelle

   Pages 57-63

7. Zertifikations- und Delegationsketten

   Pages 65-69

8. Formales AAI-Modell

   Pages 71-96

9. PROLOG-Programm

   Pages 97-118

10. Beispiele

    Pages 119-134

11. Back Matter

    Pages 135-139

    PDF

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.

• Authentifizierung
• Autorisierung
• Formales Modell
• Gültigkeitsdauer
• Management
• Modellierung
• Zertifikatenrückruf

Dr. Thomas Wölfl arbeitet am Institut für Wirtschaftsinformatik der Universität Regensburg.

Policies and ethics