Formale Modellierung von Authentifizierung und by Thomas Wölfl (auth.)
By Thomas Wölfl (auth.)
Moderne Computeranwendungen, die ein offenes Netz wie das web 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.
Read Online or Download Formale Modellierung von Authentifizierung und Authorisierung infrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate PDF
Best german_14 books
Der Sprach- und Schriftverkehr der Wirtschaft
Dia nachstehende Darstellung der Sprachanwendung im Wirtschaftsverkehr will nicht in Wettbewerb treten mit den herkömmlichen Lehrbüchern des Handelsbriefwechsels, die alle denkbaren Geschäftsvorfälle in Musterbriefen zur Einübung und Nachahmung vorführen. Vielmehr setzt sie die Kenntnis der dem Sprachverkehr und Schriftwechsel des Wirtschaftslebens zugrunde liegenden Geschäftsvorgänge und ihrer betriebswirtschaftlichen Gesetze als bekannt voraus und baut ihre Lehrsätze auf dieser Grundlage auf.
Dokumentenlogistik: Theorie und Praxis
Dokumentenlogistik ist ein oftmals unterschätzter Bereich unternehmerischer Abläufe im Dienstleistungsgewerbe: die Leistungsfähigkeit des again workplace ist nahezu unsichtbar, aber umso reichhaltiger. Es ist an der Zeit, diese brachliegenden Potenziale zu heben. Der rechtliche Rahmen dafür ist vorhanden, die technischen Möglichkeiten sind seit Jahren ausgereift.
- Globalisierungsgestaltung und internationale Übereinkommen
- Brief-Lexikon für Kreditsachbearbeiter: Ein Handbuch für die bankmäßige Kreditbearbeitung
- Praxis der Viszeralchirurgie: Onkologische Chirurgie
- Normalität, Behinderung und Geschlecht: Ansätze und Perspektiven der Forschung
- Impressionen und Gedanken zur künftigen bankgeschäftlichen Entwicklung
- Finanzwissenschaft
Additional resources for Formale Modellierung von Authentifizierung und Authorisierung infrastrukturen: Authentizität von deskriptiven Attributen und Privilegien auf der Basis digitaler Zertifikate
Sample text
Schumann, Wolfgsng 1996: Neue Wege in der Integrationstheorie. Ein policy-analytisches Modell zur Interpretation der EU. Opladen: Leske + Budrich. Spindler, Msnuela/Schieder, Siegfried 2010: Theorie(n) in der Lehre von den Internationalen Beziehungen. ): Theorien der Internationalen Beziehungen, 3. Überarbeitete und aktualisierte Auflage. Opladen: UTB, 9-38. Weiler, Joseph H. H. 1999: The Conatitution of Europe. "Do the New Clothe. " and Other Essays on European Integration. Cambtidge: Camhtidge University Press.
In der Brüsseler Realität bilden der Europäische Rat bzw. der Ministerrat, die Europäische Kommission und der Europäische Gerichtshof (EuGH) jenes institutionelle Dreieck, das Friedrich als essentiell für eine Föderation betrachtet. Besonders bemerkenswert ist daran, dass er die Schlüsselrolle des EuGH als ,,Motor" der europäischen Integration durch seine Interpretation und Fortbildung des Gemeinschaftsrechts bereits vorhergesehen hat (vgl. hierzu auch den Beitrag von Ulrich Haltern in diesem Band).
Oxford: Oxford University Press, 241-252. Wight, Colin 2002: Philosophy of Socia! Science und International Relations. ter/Risse, ThomasISinunons, Beth A. ): Handbook of International Relations. London: Sage, 23-51. WoU: Dieter 1999: Integrationstheorien im Vergleich: funktionalistische und intergouvernementslistische Erklärungen für die Europäische Wirtschafts- und Währungsunion. Baden- Baden: Nomos. ) 1997: Projekt Europa im Übergang? Probleme, Modelle und Strategieo des Regierens in der Europäischeo Union.