Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen

Name: Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen
Brand: Springer Nature
SKU: 9783835004986
Availability: InStock

Best Price:
Buy Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.

Set a price drop alert to never miss an offer.

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		$39.99	$39.99			$39.99		See Site	In stock	Visit Store

Product Details

Brand

Springer Nature

Manufacturer

N/A

Part Number

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

N/A

Available Sizes

N/A