9783835004986 - Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen - Thomas Wölfl Kartoniert (TB)

EAN: 9783835004986

Produktdaten aktualisiert am: 02.03.2025
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: - 
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. Die prädikatenlogischen Formeln des Modells sind widerspruchsfrei  sofern keine
Rückrufschleife vorliegt.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783835004986
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum