Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes.

P. Hartmann, M. Maidl, D. von Oheimb, und R. Robinson. STM, Volume 6710 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. -Ing. David von Mirbach University of Stuttgart

Dr. Marie Davidova University of Stuttgart

Dr. Ingo Julien Horst Wilhelm von Reitzenstein University of Stuttgart

Nikolai von Ruckteschell University of Stuttgart

Hendrik von Linde University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.A. Armando, D. Basin, Y. Boichut, Y. Chevalier, L. Compagna, J. Cuéllar, P. Drielsma, P. Héam, O. Kouchnarenko, J. Mantovani und 7 andere Autor(en). CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 281-285. Springer, (2005)Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.R. Robinson, M. Li, S. Lintelman, K. Sampigethaya, R. Poovendran, D. von Oheimb, J. Bußer, und J. Cuéllar. SAFECOMP, Volume 4680 von Lecture Notes in Computer Science, Seite 28-39. Springer, (2007)Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).D. von Oheimb. ISoLA, Seite 5. IEEE, (2006)A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes.P. Hartmann, M. Maidl, D. von Oheimb, und R. Robinson. STM, Volume 6710 von Lecture Notes in Computer Science, Seite 68-83. Springer, (2010)Formal Security Analysis with Interacting State Machines.D. von Oheimb, und V. Lotz. ESORICS, Volume 2502 von Lecture Notes in Computer Science, Seite 212-228. Springer, (2002)Hoare Logic for Mutual Recursion and Local Variables.D. von Oheimb. FSTTCS, Volume 1738 von Lecture Notes in Computer Science, Seite 168-180. Springer, (1999)The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures.A. Armando, W. Arsac, T. Avanesov, M. Barletta, A. Calvi, A. Cappai, R. Carbone, Y. Chevalier, L. Compagna, J. Cuéllar und 12 andere Autor(en). TACAS, Volume 7214 von Lecture Notes in Computer Science, Seite 267-282. Springer, (2012)Analyzing SLE 88 memory management security using Interacting State Machines.D. von Oheimb, V. Lotz, und G. Walter. Int. J. Inf. Sec., 4 (3): 155-171 (2005)Interacting State Machines for Mobility.T. Kuhn, und D. von Oheimb. FME, Volume 2805 von Lecture Notes in Computer Science, Seite 698-718. Springer, (2003)Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited.D. von Oheimb, und T. Nipkow. FME, Volume 2391 von Lecture Notes in Computer Science, Seite 89-105. Springer, (2002)