| 書目名稱 | Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen | | 副標(biāo)題 | Authentizit?t von de | | 編輯 | Thomas W?lfl | | 視頻video | http://file.papertrans.cn/346/345978/345978.mp4 | | 圖書封面 |  | | 描述 | Moderne Computeranwendungen, die ein offenes Netz wie das Internet nutzen, ben?tigen zuverl?ssige Methoden zur digitalen Signatur, zur Verschlüsselung und zur Autorisierung. Bisherige formale Modelle konzentrieren sich auf Public-Key-Infrastrukturen, wobei die Authentizit?t kryptographischer ?ffentlicher Schlüssel im Mittelpunkt steht. Rückruf und Gültigkeitsdauer digitaler Zertifikate werden jedoch vernachl?ssigt. ..Thomas W?lfls Modell umfasst diese zeitlichen Aspekte und erm?glicht erstmals neben der Herleitung von Schlüsselauthentizit?t auch die Ableitung von Attributauthentizit?t. So kann die Echtheit von Zugriffsprivilegien und deskriptiven Attributen (z. B. biometrische Referenzmuster, organisatorische Rollen und Haftungserkl?rungen) für einen bestimmten Zeitpunkt formal bewiesen werden. Das vom Autor entwickelte PROLOG-Programm realisiert eine automatisierte Ableitung, liefert nachweislich korrekte Ergebnisse und terminiert. Die pr?dikatenlogischen Formeln des Modells sind widerspruchsfrei, sofern keine Rückrufschleife vorliegt.. | | 出版日期 | Book 2006 | | 關(guān)鍵詞 | Authentifizierung; Autorisierung; Formales Modell; Gültigkeitsdauer; Management; Modellierung; Zertifikate | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-8350-9338-6 | | isbn_softcover | 978-3-8350-0498-6 | | isbn_ebook | 978-3-8350-9338-6 | | copyright | Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 2006 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 22:09
發(fā)表于 2025-3-21 17:57:56
