Lory, Prof. Dr. Peter Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate

Das Buch 'Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate' von Prof. Dr. Peter Lory behandelt die theoretische und praktische Gestaltung sicherer IT-Infrastrukturen zur Identitätsprüfung und Zugriffssteuerung. Es legt einen Schwerpunkt auf die Verwendung digitaler Zertifikate, um die Authentizität von Attributen und Berechtigungen zu gewährleisten. Durch formale Modelle wird gezeigt, wie solche Infrastrukturen aufgebaut werden können, um sowohl den Schutz sensibler Informationen als auch die Integrität der Benutzeridentitäten sicherzustellen. Das Buch richtet sich an Fachleute im Bereich IT-Sicherheit sowie an Forscher, die sich mit der Entwicklung robuster Sicherheitsprotokolle beschäftigen.