Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen
- Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate
Af
- Format
- Bog, paperback
- Tysk
- 139 sider
Normalpris
kr. 529,95
Medlemspris
kr. 479,95
- Du sparer kr. 50,00
- Fri fragt
-
Leveringstid: 7-12 Hverdage (Sendes fra fjernlager) Forventet levering: 17-03-2026
- Kan pakkes ind og sendes som gave
Beskrivelse
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.
Detaljer
- SprogTysk
- Sidetal139
- Udgivelsesdato26-09-2006
- ISBN139783835004986
- Forlag Deutscher Universit€ts Verlag
- FormatPaperback
- Udgave2006
Størrelse og vægt
10 cm
Anmeldelser
Vær den første!
Log ind for at skrive en anmeldelse.