Copied Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen
Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen
Moderne Computeranwendungen, die ein offenes Netz wie das Internet nutzen, bentigen zuverlssige Methoden zur digitalen Signatur, zur Verschlsselung und zur Autorisierung. Bisherige formale Modelle konzentrieren sich auf Public-Key-Infrastrukturen, wobei die Authentizitt kryptographischer ffentlicher Schlssel im Mittelpunkt steht. Rckruf und Gltigkeitsdauer digitaler Zertifikate werden jedoch vernachlssigt. Thomas Wlfls Modell umfasst diese zeitlichen Aspekte und ermglicht erstmals neben der Herleitung von Schlsselauthentizitt auch die Ableitung von Attributauthentizitt. So kann die Echtheit von Zugriffsprivilegien und deskriptiven Attributen (z. B. biometrische Referenzmuster, organisatorische Rollen und Haftungserklrungen) fr einen bestimmten Zeitpunkt formal bewiesen werden. Das vom Autor entwickelte PROLOG-Programm realisiert eine automatisierte Ableitung, liefert nachweislich korrekte Ergebnisse und terminiert. Die prdikatenlogischen Formeln des Modells sind widerspruchsfrei, sofern keine Rckrufschleife vorliegt.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Towards Water Circular Economy
$279.99
Russia and its Near Neighbours
$39.99
Glucagon in Acute Medicine
$84.99
Metallkunde fr das Maschinenwesen
$69.99
Grundzge der Volkswirtschaftslehre
$59.99
Strategy in the 21st Century
$109.00
Leveraging
$84.99
Outline of a Nominalist Theory of Propositions
$109.99
Advances and Applications in Computer Science, Electronics and Industrial Engineering
$169.99
Conflict Cinemas in Northern Ireland and Brazil
$99.00
Ethnic Diversities, Hypertension and Global Cardiovascular Risk
$139.99
Ein Beitrag zur Kenntnis der Temperatur- und Feuchtigkeitsverhltnisse in verschiedener Hhe ber de
$54.99
Bad Gleichenberg seine Heilquellen und Kuren
$59.99
Cognitive Mechanisms of Belief Change
$89.99
Abgeordnete und ihr Beruf
$17.99
Spezielle Strahlentherapie Gutartiger Erkrankungen
$59.99
Americium and Curium Chemistry and Technology
$169.99
Captain Underpants and the Invasion of the Incredibly Naughty Cafeteria Ladies from Outer Space (#3) (Color Edition) (Hardcover)
$7.49
BWL fr Juristen
$44.99
Handlungsfhigkeit jugendlicher Leistungssportler*innen
$49.99
Essential Tales and Poems (Barnes & Noble Signature Classics) by Edgar Allan Poe
$14.99
Gender-Based Violence in South-East Asia
$99.00
Innovationsleistung und Unternehmenswert
$69.99
Medical Image Databases
$169.00
Unerwartete Herausforderungen in Projekten erfolgreich managen
$59.99
Post-Yugoslav Queer Festivals
$54.99
Nitrogen Fixation in Agriculture, Forestry, Ecology, and the Environment
$219.99
The Gongyang Commentary on The Spring and Autumn Annals
$159.99
Social Commentary on State and Society in Modern Japan
$39.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2020
$159.99
COMPSTAT
$109.99
True Nature
$109.99
Decommissioning Offshore Structures
$129.00
Workflow Management with SAP WebFlow
$54.99
Advances in Understanding Soil Degradation
$169.00
Statistical Ecology
$169.99
Quo vadis? Leitungsinteressierte Frauen im Sozial- und Gesundheitswesen
$19.99
Information Security Education - Challenges in the Digital Age
$89.99
Multimedia, Telecommunications, and Applications
$39.99
Verhandlungen gewinnen
$39.99
