Skip to content

Download e-book for iPad: Formale Modellierung von Authentifizierung und by Thomas Wölfl (auth.)

By Thomas Wölfl (auth.)

ISBN-10: 3835004980

ISBN-13: 9783835004986

ISBN-10: 383509338X

ISBN-13: 9783835093386

Moderne Computeranwendungen, die ein offenes Netz wie das net nutzen, benötigen zuverlässige Methoden zur digitalen Signatur, zur Verschlüsselung und zur Autorisierung. Bisherige formale Modelle konzentrieren sich auf Public-Key-Infrastrukturen, wobei die Authentizität kryptographischer öffentlicher Schlüssel im Mittelpunkt steht. Rückruf und Gültigkeitsdauer digitaler Zertifikate werden jedoch vernachlässigt.

Thomas Wölfls Modell umfasst diese zeitlichen Aspekte und ermöglicht erstmals neben der Herleitung von Schlüsselauthentizität auch die Ableitung von Attributauthentizität. So kann die Echtheit von Zugriffsprivilegien und deskriptiven Attributen (z. B. biometrische Referenzmuster, organisatorische Rollen und Haftungserklärungen) für einen bestimmten Zeitpunkt formal bewiesen werden. Das vom Autor entwickelte PROLOG-Programm realisiert eine automatisierte Ableitung, liefert nachweislich korrekte Ergebnisse und terminiert. Die prädikatenlogischen Formeln des Modells sind widerspruchsfrei, sofern keine Rückrufschleife vorliegt.

Show description

Read Online or Download Formale Modellierung von Authentifizierung und Authorisierung infrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate PDF

Similar german_14 books

Weck den Sieger in Dir!: In 7 Schritten zu dauerhafter - download pdf or read online

Alexander Christiani bietet mit diesem erfolgreichen Buch einen unüblichen, aber dafür erfolgreich umsetzbaren Weg zu dauerhafter Selbstmotivation. Sein siebenstufiges Motivationsprogramm setzt neue Maßstäbe - ein brillanter Wegweiser zum Erfolg! "Das Buch basiert auf aktuellsten Erkenntnissen der Motivationspsychologie.

Agathe Bienfait's Im Gehäuse der Zugehörigkeit: Eine kritische PDF

Im Zentrum der Untersuchung steht eine Kritik an den Homogenitäts- und Kohärenzunterstellungen, die nicht nur den klassischen Kulturbegriff, sondern auch das alltägliche Verständnis kultureller Identität in entscheidendem Maße belasten. Diese Missverständnisse übersehen nicht nur die interne Pluralität von Kulturen; sie begünstigen zudem im Kontext multikulturalistischer Identitätspolitiken die Unterdrückung des Einzelnen durch seine Herkunftsgruppe.

Extra resources for Formale Modellierung von Authentifizierung und Authorisierung infrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate

Sample text

S. 27. S Auch wenn die Definitionen der Verfasser recht unterschiedlich wirken, so lassen sie sich relativ leicht miteinander in Verbindung bringen. ln der vorliegenden Arbeit wird folgender Kompromiß bevorzugt. Personen können sich über Meinungsgegenstände eine Einstellung bilden, welche sich nach der 3-Komponenten-Attitüden-Konzeption aus einer kognitiven, einer affektiven sowie einer Handlungskomponente zusammensetzt. a. B. über ein Unternehmen, kann als Image verstanden werden. Erst der Betrachter "gibt dem Unternehmen sein Image, nicht umgekehrt".

53; Hart, NA: lndustrial Advertising and Publicity, 2. Auflage, London 1978, S. 183. 25 riums" 41 , wohingegen andere Autoren Umwelt II in den Zuständigkeitsbereich der Public Relations verweisen. Mit Blick auf die imagepolitischen Aktivitäten ergibt sich aus den umweltbezogenen Determinanten, daß Lieferanten, Kunden, der Staat, Gewerkschaften, Handels- und Berufsverbände sowie andere industrielle Anbieter und soziale Institutionen zur Umwelt gehören und Einfluß auf Organisationales Verhalten nehmen können.

Vgl. , S. 159. Staehle bezeichnet Einstellungen, die aufgrund vorgelagerter Werte zustandekommen als "System von Gedanken, Gefühlen und Handlungsprädispositionen". Vgl. , S. 158. Sowohl Werte als auch Einstellungen werden danach erlernt, doch während Werte situationsübergreifend sind, richten sich Einstellungen auf bestimmte Objekte, Personen oder Situationen. Vgl. , S. 23; vgl. : The Corporate Image- Strategies for effective identity programmes, London 1992, S. 21. Bezogen auf Konsumgüterunternehmen wird ausgesagt, daß Unternehmen langfristig nur dann Erfolg haben werden, wenn zwischen dem Selbstimage des Käufers und dem Image des gekauften Produktes eine Harmonie besteht.

Download PDF sample

Formale Modellierung von Authentifizierung und Authorisierung infrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate by Thomas Wölfl (auth.)


by Paul
4.0

Rated 4.67 of 5 – based on 21 votes