Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen

Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783835004986
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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