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
Einfhrung in die klassische Mythologie
$29.99
The Chemical Bond
$169.99
REST: Advanced Research Topics and Practical Applications
$84.99
Foundations of Equational Logic Programming
$29.99
Empathy in the Context of Philosophy
$54.99
Expatriates Eine verhaltenskonomische Analyse von Erfolgsfaktoren
$59.99
Research and Development in Intelligent Systems XIX
$109.99
Basiswissen Auenhandel
$29.99
Die Talsperren sterreichs
$59.99
Fast Software Encryption
$39.99
Barnes & Noble The Redemption of Daya Keane by Gia Gordon
$19.99
The Diabetic Pancreas
$39.99
Wertorientiertes Flexibilittsmanagement durch den Realoptionsansatz
$59.99
rztliches Haftpflichtrecht
$59.99
Feeling Good and Doing Better
$39.99
Women in Journalism at the Fin de Sicle
$54.99
Reading the Sphinx
$39.99
Kants Second Critique and the Problem of Transcendental Arguments
$109.99
Advanced Molecular Quantum Mechanics
$84.99
Electron Spin Resonance Spectrometers
$54.99
Discrete Differential Geometry
$59.99
2021 International Conference on Applications and Techniques in Cyber Intelligence
$219.99
Computer Assisted Learning
$39.99
Human Rights Practices during Financial Crises
$59.99
Statistical Geometry and Applications to Microphysics and Cosmology
$84.99
Multilevel Protection of the Principle of Legality in Criminal Law
$129.99
Trockene Kokskhlung mit Verwertung der Koksglut
$59.99
Schalentheorie
$29.99
Global Security Beyond the Millennium
$109.99
Britain and Nuclear Weapons
$109.99
Design, User Experience, and Usability. Design for Contemporary Interactive Environments
$39.99
Dimensionen therapeutischer Prozesse in der Integrativen Medizin
$34.99
Ankylosing spondylitis and Klebsiella
$199.99
Class 2 Transferases XII
$329.99
Computer Integrated Manufacturing
$169.99
Algorithmic Learning Theory
$39.99
Consular Authority Over Seamen from the United States Point of View
$54.99
The Challenge of CMC Regulatory Compliance for Biopharmaceuticals
$149.00
Doing Grassroots
$49.99
Fhren in der Arbeitswelt der Zukunft
$29.99
