Jürjens, Jan
Model-Based Security Engineering with UML: Introducing Security AspectsFrank S. de Boer;Marcello M. Bonsangue;Susanne Graf;Willem-Paul de Roever (Hrsg). Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures. Berlin: Springer 2006 S. 64 - 87 (Lecture Notes in Computer Science)
Jürjens, Jan
Model-Based Security Engineering.SECRYPT. 2006
Jürjens, Jan
Modeling and Compositional Design for Secure Embedded Systems (Invited Talk)NSF-IST workshop: Long Term Challenges in High Confidence Composable Embedded Systems, Helsinki (Finland), June 20--23, 2006. 2006
Jürjens, Jan
Security Analysis of Crypto-based Java Programs using Automated Theorem ProversShinichi Honiden;Sebastian Uchitel;Steve Easterbrook (Hrsg). Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006: 18 - 22 September 2006; Tokyo, Japan. Los Alamitos, CA: IEEE Computer Society 2006 S. 167 - 176
Jürjens, Jan
Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.ASE. 2006 S. 167 - 176
Jürjens, Jan
Sicherheit - Wo stehen wir heute aus Sicht der Wissenschaft?Microsoft DevDays Security 2006. Munich. 2006
Jürjens, Jan; Fox, J.
Tools for Model-based Security Engineering28th International Conference on Software Engineering (ICSE 2006). ACM 2006 (ICSE)
Jürjens, Jan; Fox, Jorge
Tools for model-based security engineering.ICSE. 2006 S. 819 - 822
Mouratidis, Haralambos; Jürjens, Jan; Fox, Jorge
Towards a Comprehensive Framework for Secure Systems DevelopmentEric Dubois;Klaus Pohl (Hrsg). Advanced Information Systems Engineering: 18th International Conference, CAiSE 2006: Luxembourg, Luxembourg, June 5-9, 2006; Proceedings. Berlin: Springer 2006 S. 48 - 62 (Lecture Notes in Computer Science)
Mouratidis, Haralambos; Jürjens, Jan; Fox, Jorge
Towards a Comprehensive Framework for Secure Systems Development.CAiSE. 2006 S. 48 - 62