Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
Dupressoir, François; D. Gordon, Andrew; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.CSF. 2011 S. 3 - 17
Jürjens, Jan; Marchal, Loïc; Ochoa, Martín et al.
Incremental Security Verification for Evolving UMLsec modelsRobert B. France;Jochen M. Kuester;Behzad Bordbar;Richard F. Paige (Hrsg). Modelling Foundations and Applications: 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Berlin: Springer 2011 S. 52 - 68 (Lecture Notes in Computer Science)
Jürjens, Jan; Marchal, Loïc; Ochoa, Martín et al.
Incremental Security Verification for Evolving UMLsec models.ECMFA. 2011 S. 52 - 68
Shaikh Sadi, Muhammad; Uddin, Md. Nazim; Khan, Md. Mizanur Rahman et al.
Mitigating Soft Error Risks through Protecting Critical Variables and BlocksSalah S. Al-Majeed;Chih-Lin Hu;Dhinaharan Nagamalai (Hrsg). Advances in Wireless, Mobile Networks and Applications: International Conferences, WiMoA 2011 and ICCSEA 2011, Dubai, United Arab Emirates, May 25-27, 2011. Proceedings. Berlin: Springer 2011 S. 137 - 145 (Communications in Computer and Information Science)
Fourneret, Elizabeta; Ochoa, Martin; Bouquet, Fabrice et al.
Model-Based Security Verification and Testing for Smart- cardsGünther Pernul;Juan-Carlos Trujillo Mondéjar;Edgar Weippl (Hrsg). Proceedings of the Sixth International Conference on Availability, Reliability and Security, ARES 2011: 22-26 August 2011; Vienna, Austria. Los Alamitos, CA: IEEE Computer Society 2011 S. 272 - 279
Fourneret, Elizabeta; Ochoa, Martín; Bouquet, Fabrice et al.
Model-Based Security Verification and Testing for Smart-cards.ARES. 2011 S. 272 - 279
Jürjens, Jan; Ochoa, Martín; Schmidt, Holger et al.
Modelling Secure Systems Evolution: Abstract and Concrete Change SpecificationsMarco Bernardo;Valérie Issarny (Hrsg). Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures. Berlin: Springer 2011 S. 504 - 526
Jürjens, Jan; Ochoa, Martín; Schmidt, Holger et al.
Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications.SFM. 2011 S. 504 - 526
Massacci, Fabio; Bouquet, Fabrice; Fourneret, Elizabeta et al.
Orchestrating Security and System Engineering for Evolving SystemsWitold Abramowicz;Ignacio M. Llorente;Mike Surridge;Andrea Zisman;Julien Vayssière (Hrsg). Towards a Service-Based Internet: 4th European Conference, ServiceWave 2011, Poznan, Poland, October 26-28, 2011. Proceedings. Berlin: Springer 2011 S. 134 - 143 (Lecture Notes in Computer Science)
Massacci, Fabio; Bouquet, Fabrice; Fourneret, Elizabeta et al.
Orchestrating Security and System Engineering for Evolving Systems - (Invited Paper).ServiceWave. 2011 S. 134 - 143