Jürjens, Jan
Evolution vs. semantische Konsistenz2013
Dupressoir, François; D. Gordon, Andrew; Jürjens, Jan et al.
Guiding a General-Purpose C Verifier to Prove Cryptographic Protocols.CoRR. Bd. abs/1312.6532. 2013
Jürjens, Jan
Hot Topics in Model-based Security (Invited Panel Contribution)2013
Jürjens, Jan
IT-Architekturen für auditierbare Geschäftsprozessanwendungen (Eingeladener Vortrag)Fraunhofer-Symposium Netzwert 2013. München. 2013
Bürger, Jens; Jürjens, Jan; Ruhroth, Thomas et al.
Model-Based Security Engineering: Managed Co-evolution of Security Knowledge and Software Models.FOSAD. 2013 S. 34 - 53
Jürjens, Jan
Model-centric Security Verification subject to Evolution (Invited Talk)2013
Jürjens, Jan
Modellbasiertes Sicherheits- und Compliance-Management2013 S. 1 - 26
Humberg, Thorsten; Wessel, Christian; Poggenpohl, Daniel et al.
Ontology-based Analysis of Compliance and Regulatory Requirements of Business ProcessesFrédéric Desprez;Donald Ferguson;Ethan Hadar;Frank Leymann;Matthias Jarke;Markus Helfert (Hrsg). Proceedings of the 3rd International Conference on Cloud Computing and Services Science CLOSER 2013; Aachen, Germany; 8- 10 May, 2013. Setúbal: SciTePress 2013 S. 553 - 561
Humberg, Thorsten; Wessel, Christian; Poggenpohl, Daniel et al.
Ontology-based Analysis of Compliance and Regulatory Requirements of Business Processes.CLOSER. 2013 S. 553 - 561
Taubenberger, Stefan; Jürjens, Jan; Yu, Yijun et al.
Resolving vulnerability identification errors using security requirements on business process modelsInformation Management & Computer Security. Bd. 21. H. 3. Bingley: Emerald 2013 S. 202 - 223