EAN: 9783835004986

FORMALE MODELLIERUNG VON AUTHENTIFIZIERUNGS- UN...

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.

Aktuelle Preise zur EAN 9783835004986

Produktinformationen zur 9783835004986