PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "von Oheimb, David"

Author of the publication

copydeleteadd this publication to your clipboard
Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety.

, , , , , , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 28-39. Springer, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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

 

Other publications of authors with the same name

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications., , , , , , , , , and 7 other author(s). CAV, volume 3576 of Lecture Notes in Computer Science, page 281-285. Springer, (2005)Electronic Distribution of Airplane Software and the Impact of Information Security on Airplane Safety., , , , , , , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 28-39. Springer, (2007)Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).. ISoLA, page 5. IEEE, (2006)Hoare Logic for Mutual Recursion and Local Variables.. FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 168-180. Springer, (1999)A Case Study in Decentralized, Dynamic, Policy-Based, Authorization and Trust Management - Automated Software Distribution for Airplanes., , , and . STM, volume 6710 of Lecture Notes in Computer Science, page 68-83. Springer, (2010)Formal Security Analysis with Interacting State Machines., and . ESORICS, volume 2502 of Lecture Notes in Computer Science, page 212-228. Springer, (2002)The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures., , , , , , , , , and 12 other author(s). TACAS, volume 7214 of Lecture Notes in Computer Science, page 267-282. Springer, (2012)Analyzing SLE 88 memory management security using Interacting State Machines., , and . Int. J. Inf. Sec., 4 (3): 155-171 (2005)Interacting State Machines for Mobility., and . FME, volume 2805 of Lecture Notes in Computer Science, page 698-718. Springer, (2003)Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited., and . FME, volume 2391 of Lecture Notes in Computer Science, page 89-105. Springer, (2002)