Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen von Lory, Prof. Dr. Peter, Wölfl, Thomas

Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen

Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate

,

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.

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
Authentifizierung Autorisierung Formales Modell Gültigkeitsdauer Management Modellierung Zertifikatenrückruf
Produktinformationen

Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen online kaufen

Die Publikation Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen - Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate von , ist bei Deutscher Universitätsverlag erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Authentifizierung, Autorisierung, Formales Modell, Gültigkeitsdauer, Management, Modellierung, Zertifikatenrückruf. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 44.99 EUR und in Österreich 46.26 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!