EAN: 9783835004986

Bilder-Quelle: discount24.de - Sport-Freizeit

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.

Produktinformationen zuletzt aktualisiert am
13.05.2026 um 08:14 Uhr

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis: