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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Fidelity of Implementation in Assessment of Infants and Toddlers
$99.99
Developing International Strategies
$84.99
Neun Forscherinnen im ewigen Eis
$39.99
Otologische Rntgendiagnostik
$59.99
Untersuchungen zur Verbesserung der Wasseraufbereitung und Wasseranalyse: ber die Schnellbewertung
$59.99
Perl 6 Fundamentals
$19.99
Ein transdisziplinres Panoptikum
$49.99
Kenya After 50
$54.99
Rauschhafte Vergemeinschaftungen
$39.99
Pattern Recognition
$54.99
Spontaneous Abortion
$39.99
Pseudomonas Syringae Pathovars and Related Pathogens
$329.99
Das Flievermgen reiner und sauerstoffhaltiger Kupferschmelzen
$59.99
Nezami Ganjavi and Classical Persian Literature
$109.99
Artificial Intelligence and Evolutionary Computations in Engineering Systems
$299.00
Inequity in Indian Health Care
$39.99
74.75. Jahresbericht des Sonnblick-Vereines fr die Jahre 19761977
$59.99
Fault Covering Problems in Reconfigurable VLSI Systems
$109.99
Angemessenheit im Scheidungsrecht
$59.99
Ernst-Jnger-Bibliographie
$169.99
Clouds, Rain & Snow: Snow
$3.71
Die Organisation der Geschftsfhrung
$59.99
Grundlagen und Anwendung der Steuerungstechnik
$59.99
Ursache des berschreitens der Toleranzgrenze nach oben oder unten (Meter pro Gramm) an der Strecke
$59.99
National Geographic Kids Readers - Level 2: Los Delfines
$4.46
Adhesion of Cells, Viruses and Nanoparticles
$84.99
Aggressors in Blue
$29.99
Structural Problems
$39.99
The Making of a Maritime Power
$109.99
Medical Informatics Europe 84
$109.99
The Economics of Sustainable Development
$179.99
Modula-2
$69.99
Experimental Thermodynamics Volume II
$109.99
New Woman Fiction
$84.99
Differential Equations: A Dynamical Systems Approach
$39.99
Free Piston Stirling Engines
$199.99
Biogeochemical Investigations of Terrestrial, Freshwater, and Wetland Ecosystems across the Globe
$219.99
Flexible AC Transmission Systems: Modelling and Control
$149.00
Die Schlammbehandlung in stdtischen Klranlagen unter besonderer Bercksichtigung der Schlammvergas
$49.99
Power, Glamour and Angst
$109.99
