Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Computational Verification of C Protocol Implementations by Symbolic ExecutionTing Yu; George Danezis; Virgil Gligor (Hrsg). Proceedings of the 19th ACM Conference on Computer and Communications Security CCS 2012: October 16–18, 2012; Raleigh, North Carolina, USA. New York, NY: ACM Association for Computing Machinery 2012 S. 712 - 723
Jürjens, Jan
Den Nebel lichten: Von Compliance-Regularien zu testbaren Sicherheitsanforderungeniqnite 2012. 2012
Schneider, Kurt; Knauss, Eric; Houmb, Siv Hilde et al.
Enhancing security requirements engineering by organizational learningRequirements Engineering. Bd. 17. H. 1. London: Springer 2012 S. 35 - 56
Wessel, Christian; Humberg, Thorsten; Wenzel, Sven et al.
Frühzeitige modellbasierte Risikoanalyse für mobile, verteilte AnwendungenStefan Jähnichen; Bernhard Rumpe; Holger Schlingloff (Hrsg). Software Engineering 2012: Workshopband; Tagung vom 27. Februar - 02. März 2012 in Berlin. Bonn: Gesellschaft für Informatik 2012 S. 175 - 181
Jürjens, Jan
Informationssicherheit im Cloud ComputingWeb-Konferenz des Anwenderkreis Informationstechnik und Telekommunikation (AKIT). 2012 S. 1 - 40
Jürjens, Jan
Model-based Security Engineering12th International School on Foundations of Security Analysis and Design (FOSAD 2012). Bertinoro (Italy). 2012
Blanco, Carlos; Fernandez-Medina, Eduardo; Trujillo, Juan et al.
Modelado Seguro de Consultas OLAP y su EvoluciónJornadas de Ingenieria del Software y Bases de Datos (JISBD 2012). Almeria. 2012
Ochoa, Martín; Jürjens, Jan; Cuéllar, Jorge
Non-interference on UML State-ChartsCarlo A. Furia; Sebastian Nanz (Hrsg). Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Berlin: Springer 2012 S. 219 - 235
Wenzel, Sven; Wessel, Christian; Humberg, Thorsten et al.
Securing Processes for Outsourcing into the CloudFrank Leymann; Ivan Ivanov; Marten van Sinderen; Tony Shan (Hrsg). Proceedings of the 2nd International Conference on Cloud Computing and Services Science CLOSER 2012; Porto, Portugal; 18-21 April, 2012. Setúbal: SciTePress 2012 S. 675 - 680
Rosado, David G.; Sanchez, Luís Enrique; Fernández-Medina, Eduardo et al.
Security in Information Systems: New Challenges and OpportunitiesJournal of Universal Computer Science. Bd. 18. H. 6. Graz: Verlag der Technischen Universität Graz 2012 S. 728 - 731