Author of the publication

Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).

. ISoLA, page 5. IEEE, (2006)

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.

 

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)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)Hoare Logic for Mutual Recursion and Local Variables.. FSTTCS, volume 1738 of Lecture Notes in Computer Science, page 168-180. Springer, (1999)Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).. ISoLA, page 5. IEEE, (2006)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)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)Generic Interacting State Machines and Their Instantiation with Dynamic Features., and . ICFEM, volume 2885 of Lecture Notes in Computer Science, page 144-166. Springer, (2003)Interacting State Machines for Mobility., and . FME, volume 2805 of Lecture Notes in Computer Science, page 698-718. Springer, (2003)