Institut für Softwaretechnik
FB 4: Informatik / Universität Koblenz
- 0261/287-2722
- 0261/287-2721
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
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
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
Taubenberger, Stefan; Jürjens, Jan; Yu, Yijun et al.
Problem Analysis of Traditional IT-Security Risk Assessment Methods - An Experience Report from the Insurance and Auditing DomainJan Camenisch; Simone Fischer-Hübner; Yuko Murayama; Armand Portmann; Carlos Rieder (Hrsg). Future Challenges in Security and Privacy for Academia and Industry: 26th IFIP TC 11 International Information Security Conference, SEC 2011, Lucerne, Switzerland, June 7-9, 2011. Proceedings. Berlin: Springer 2011 S. 259 - 270
Jürjens, Jan; Lee, Seok-Won; Monga, Mattia
Proceedings of the 7th International Workshop on Software Engineering for Secure Systems, SESS 2011: May 22, 2011; Waikiki, Honolulu, HI, USANew York, NY: ACM Association for Computing Machinery 2011
Rosado, David G.; Jürjens, Jan
Proceedings of the 8th International Workshop on Security in Information Systems WOSIS 2011; in conjunction with ICEIS 2011; Beijing, China; 8-9 June, 2011Setúbal: SciTePress 2011
Bauer, Andreas; Jürjens, Jan; Yu, Yijun
Run-Time Security Traceability for Evolving SystemsThe Computer Journal. Bd. 54. H. 1. Oxford: Oxford University Press 2011 S. 58 - 87
Jürjens, Jan
Security and Compliance in CloudsIT-Compliance 2011. Berlin (Germany). 2011 S. 1 - 25
Nhlabatsi, Armstrong; Bandara, Arosha; Hayashi, Shinpei et al.
Security Patterns: Comparing Modeling ApproachesHaralambos Mouratidis (Hrsg). Software Engineering for Secure Systems: Industrial and Research Perspectives. Hershey, PA: Information Science Reference 2011 S. 75 - 111