Journal Papers

Mathematical Logic

• Jan Jürjens, On a problem of Gabriel and Ulmer (paper (.ps.gz), paper (.ps), paper (.pdf), Bibentry) Journal of Pure and Applied Algebra, vol. 158 (2001), pp. 183–196. © Elsevier.

Model-based Security Engineering

• K. Schneider, E. Knauss, S. Houmb, S. Islam, J. Jürjens: Enhancing Security Requirements Engineering by Organisational Learning. In: Requirements Engineering Journal (REJ) (Springer Verlag), accepted for publication (15 Nov. 2011). Special Issue on REFSQ'11. DOI: 10.1007/s00766-011-0141-0.
• S. Islam, H. Mouratidis, J. Jürjens. A Framework to Support Alignment of Secure Software Engineering with Legal Regulations. Journal of Software and Systems Modeling (SoSyM), vol. 10, no. 3, 2011, pp. 369--394. Special Issue on Non-Functional Properties in Domain-Specific Modeling. (pre-publication draft, bibtex TODO, SpringerLink TODO)
• A. Bauer, J. Jürjens, Yijun Yu. Run-Time Security Traceability for Evolving Systems. The Computer Journal, Oxford Univ. Press, vol. 54, no. 1, 2011, pp. 58-87. (pre-publication draft, bibtex TODO)
• S.H. Houmb, S. Islam, E. Knauss, J. Jürjens, K. Schneider. Eliciting Security Requirements and Tracing them to Design: An Integration of Common Criteria, Heuristics, and UMLsec. Requirements Engineering Journal (REJ), vol. 15(1), 2010, pp. 63-93. Special Issue on Security Requirements Engineering. (pre-publication draft, bibtex TODO, SpringerLink)
• H. Mouratidis, J. Jürjens. From Goal-Driven Security Requirements Engineering to Secure Design. International Journal of Intelligent Systems (IJIS) (Wiley Interscience), Volume 25, Issue 8, pages 813-840, August 2010. (Special issue on "Goal-Driven Requirements Engineering".) (pre-publication draft, bibtex TODO)
• A. Bauer, J. Jürjens. Runtime Verification of Cryptographic Protocols. Computers and Security, vol. 29, 2010, pp. 315--330. (pre-publication draft, bibtex TODO)
• J. Jürjens, A Domain-Specific Language for Cryptographic Protocols based on Streams. Journal of Logic and Algebraic Programming, vol. 78, Jan./Feb. 2009, pp. 54-73. (paper, bibtex TODO)
• J. Jürjens, R. Rumm: Model-based Security Analysis of the German Health Card Architecture. Methods of Information in Medicine, vol. 47, 5; 2008. pp. 409-416. Special section on Model-based Development of Trustworthy Health Information Systems. (paper, bibtex TODO)
• M. Woodside, D.C. Petriu, D.B. Petriu, J. Xu, T. Israr, G. Georg, R. France, J.M. Bieman, S.H. Houmb, and Jan Jürjens, Performance Analysis of Security Aspects by Weaving Scenarios from UML Models. Journal of Systems and Software, vol. 82, 1; Jan. 2009, pp. 56-74. Special Issue: Software Performance -- Modeling and Analysis. (paper, bibtex TODO)
• Jan Jürjens and P. Shabalin, Tools for Secure Systems Development with UML. Invited submission to the FASE 2004/05 special issue of the International Journal on Software Tools for Technology Transfer, Springer, Volume 9, Numbers 5-6 / October, 2007, pp. 527-544. (paper, bibtex)

Dependability

• M. S Sadi, D. G. Myers, C. O. Sanchez, J. Jürjens. Component criticality analysis to minimize soft errors risk. International Journal of Computer Systems Science & Engineering (CSSE), vol. 25, No. 5, Sep. 2010, pp. 23-37.

Invited Journal Papers

• Jan Jürjens, Foundations for Designing Secure Architectures (paper, slides, audio, Bibentry), Invited paper, Electronic Notes in Theoretical Computer Science, 142(3), Jan. 2006. pp. 31-46. © Elsevier.
• Jan Jürjens, Componentware for Critical Systems (paper, bibtex), Invited paper, Journal of Object Technology, volume 3, no 4, April 2004, pp. 47-50.
• Jan Jürjens, Developing Security-Critical Applications with UMLsec: A Short Walk-Through (paper [English, Spanish], Bibentry), Invited paper, Novatica, vol. 168, March/April 2004, pp. 28-33.

Programming Language Semantics

• Jan Jürjens, Games in the Semantics of Programming Languages (paper (.ps.gz), paper (.ps), paper (.pdf), Bibentry) Journal Synthese (Kluwer), Volume 133 Nos. 1–2, October/November 2002

Electronic Journals

• Jan Jürjens: Model-based Security Testing using UMLsec. Electronic Notes in Theoretical Computer Science vol. 220 / 1, 10 Dec. 2008, pp. 93-104. (paper)

Invited Book Chapters

• S. Höhn, J. Jürjens, L. Lowis, R. Accorsi, Identification of Vulnerabilities in Web Services using Model-based Security. in: C. Gutierrez, E. Fernandez-Medina, M. Piattini: Web Services Security Development and Architecture: Theoretical and Practical Issues, IGI Global (forthcoming). Invited chapter. (paper)
• Jan Jürjens, Security and Dependability Engineering. in: G. Spanoudakis, A. Mana, and S. Kokolakis: Security and dependability for Ambient Intelligence © Springer, 2009. Invited chapter. (paper)
• Jan Jürjens and Eduardo B. Fernandez, Secure Database Development. in: Encyclopedia of Database Systems, © Springer (forthcoming). Invited chapter, ca. 10 pp. (paper)
• S.H. Houmb, G. Georg, J. Jürjens, and R.B. France An Integrated Approach to Security Verification and Security Solution Design Trade-off Analysis. in: H. Mouratidis (editor), Integrating Security and Software Engineering: Advances and Future Vision, Idea Group, Aug. 2006, pp. 190-219. Invited chapter. (paper)
• Jan Jürjens, Model-based Security Engineering with UML, In: A. Aldini, R. Gorrieri, and F. Martinelli, Foundations of Security Analysis and Design III: FOSAD 2004/2005 Tutorial Lectures, Lecture Notes in Computer Science, volume 3655, Springer, 2005, pp. 42-77. Invited chapter. (book chapter; slides: pt 1, pt 2, bibtex)

Contributed Book Chapters

• A. Nhlabatsi, A. Bandara, Shinpei Hayashi, C.B. Haley, J. Jürjens, Haruhiko Kaiya, Atsuto Kubo, R. Laney, H. Mouratidis, B. Nuseibeh, Yasuyuki Tahara, T.T. Tun, Hironori Washizaki, Nobukazu Yoshioka, Yijun Yu. Security Patterns: Comparing Modeling Approaches. in: H. Mouratidis, Software Engineering for Secure Systems: Industrial and Research Perspectives, IGI Global 2010. (paper)
• E.B. Fernandez, Nobukazu Yoshioka, Hironori Washizaki, J. Jürjens, M. VanHilst, G. Pernul. Using security patterns to develop secure systems. in: H. Mouratidis, Software Engineering for Secure Systems: Industrial and Research Perspectives, IGI Global 2010. (paper)
• Jan Jürjens, Model-Based Security Engineering with UML: Introducing Security Aspects. in: International Symposium on Formal Methods for Components and Objects (FMCO 2005), Revised Lectures series of Lecture Notes in Computer Science, volume 4111, Springer, 2006, pp. 64-87. (paper, slides, bibtex)
• Jan Jürjens, Stefan Wagner, Component-Based Development of Dependable Systems with UML, in: Component-Based Software Development for Embedded Systems - An Overview on Current Research Trends, © Springer-Verlag 2005 (paper)
• Jan Jürjens, Pasha Shabalin, Tool-support for Model-Driven Development of Security-Critical Systems with UML, in: Model-driven Software Development – Volume II of Research and Practice in Software Engineering, © Springer-Verlag 2005 (paper)
• Jan Jürjens, Siv Hilde Houmb, Risk-Driven Development of Security-Critical Systems using UMLsec (paper, slides, bibtex), 2004, © Kluwer
• Jan Jürjens, Pasha Shabalin, XML-based Analysis of UML Models for Critical Systems Development, in: Advances in UML/XML based Software Evolution, © IDEA Group Publishing, 2004 (paper)