Opening book details…
Can I read Formale Modellierung von Authentifizierung und Authorisierunginfrastrukturen : Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate on EtoBox?
Formale Modellierung von Authentifizierung und Authorisierunginfrastrukturen : Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate by Thomas Wölfl is a nonfiction available to read on EtoBox.
What is Formale Modellierung von Authentifizierung und Authorisierunginfrastrukturen : Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate about?
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.
Who reads Formale Modellierung von Authentifizierung und Authorisierunginfrastrukturen : Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Thomas Wölfl
- Publisher
- Deutscher Universitäts-Verlag / GWV Fachverlage GmbH, Wiesbaden
- Published
- 2006
- Language
- DE
- ISBN
- 9783835093386
- Category
- nonfiction
- Subjects
- Economics, Computer Science, Management
More by Thomas Wölfl
Browse all works by Thomas Wölfl
Similar books
- Modellierung : Grundlagen und formale Methoden$nElektronische Ressource — Kastens, Uwe; Kleine Büning, Hans (2005)
- Entwicklung eines interaktiven Simulators auf der Basis von Petri-Netzen zur Modellierung und Bewertung hybrider Montagestrukturen — Dipl.-Inform. W. Schweizer (auth.) (1992)
- Fertigungsstrukturierung auf der Basis von Teilefamilien — Dipl.-Wirtsch.-Ing. Manfred Auch (auth.) (1989)
- Erfolgskritische Faktoren der koordinativen Ausgestaltung und Steuerung von Akteursbeziehungen. : Analyse auf Basis einer integrativen Modellierung zentraler Perspektiven der Theorie der Unternehmung. — Tobias Kulka (2014)
- Grundriss der deskriptiven Anatomie des Menschen; ein Handbuch zu jedem Atlas der deskriptiven Anatomie mit besonderer Berücksichtigung und Verweisungen auf Sobottas Atlas der deskriptiven Anatomie. — Sobotta, Johannes, 1869-1945. (1907)
- Herstellung und Eigenschaften von Optokeramiken auf der Basis von Mg-Spinell und Aluminiumoxid — Deniz Kahraman
