Book

Jan Jürjens, Secure Systems Development with UML (Bibentry), © Springer-Verlag, Heidelberg, 2005. 300 pages. NEW: Chinese translation, Tsinghua University Press, Beijing 2009

Summer/graduate school lectures

• J. Jürjens, Model-based Security Engineering, 12th International School on Foundations of Security Analysis and Design (FOSAD 2012), Bertinoro, Italy, Sep. 3-8 2012
• J. Jürjens, M. Ochoa, H. Schmidt, L. Marchal, S.H. Houmb, S. Islam: Modelling Secure Systems Evolution: Abstract and Concrete Change Specifications (invited lecture). In: 11th School on Formal Methods (SFM 2011), Bertinoro (Italy) 13-18 June 2011. (paper TODO, slides TODO, audio TODO, bibtex TODO)
• Jan Jürjens, Security Modeling with UML, Universidad Carlos III de Madrid, May 26–30, 2005 (slides)
• 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)
• Jan Jürjens, Logic for Security, Spring School "Logic in Computer Science", April 5–9 2004, Venezia

Invited talks / papers

Conferences

• F. Massacci, F. Bouquet, E. Fourneret, J. Jürjens, M.S. Lund, S. Madelenat, J.T. Mühlberg, F. Paci, S. Paul, B. Solhaug, S. Wenzel and F. Piessens: Orchestrating Security and System Engineering for Evolving Systems (Invited paper). 4th European Conference ServiceWave 2011, LNCS, Springer 2011.
• J. Jürjens: Model-based Security Engineering with UML: The last decade and towards the future (Keynote). In: 26th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2010), Madrid, 21-25 Sep. 2010. (paper, slides, audio, bibtex TODO)
• J. Jürjens: Modellbasierte Entwicklung Sicherheitskritischer Systeme (Keynote). Software Engineering 2007, Hamburg, March 27-30, 2007.
• J. Jürjens: Model-based Security Engineering for Real (Industry Day Invited Paper). 14th International Symposium on Formal Methods (FM 2006), volume 4085 of Lecture Notes in Computer Science, Springer, 2006, pp. 600-606. (paper, slides, bibtex)
• Jan Jürjens, Model-based Security Engineering, SECRYPT, Portugal, June 2006 (invited talk) (paper, slides, bibtex)
• Jan Jürjens, Sicherheit - wo stehen wir heute aus Sicht der Wissenschaft ?, Microsoft DevDays Security 2006, Munich, May 9, 2006. (slides)
• Jan Jürjens, Playing the Devil's Advocate: Testing Real-Time Systems (slides (pdf), audio (spanish)), Conference on Software Testing (ICSTEST-E), Bilbao (Spain), Nov. 10–11, 2004
• Jan Jürjens, Modell-basierte Sicherheit: Sicheres Konfigurations- und Änderungsmanagement, Systems 2004 (Software Development & Architecture Forum), (audio, slides (pdf)) München, Oct. 18–22, 2004
• Jan Jürjens, Developing Security-Critical Applications with UMLsec A Short Walk-Through (paper [English, Spanish], Bibentry), Novatica, vol. 168, March/April 2004.
• Jan Jürjens, Model-based Security with UMLsec (slides, Bibentry, audio: English, Japanese pt 1, pt 2), UML Forum, Tokyo, Apr. 17, 2003
• Jan Jürjens, Critical Systems Development with UML (slides, audio, Bibentry), Forum on Design Languages (FDL'02), Marseille, Sept. 24–27, 2002

Workshops

• M. Aizatulin, F. Dupressoir, A.D. Gordon, J. Jürjens: Verifying Cryptographic Code in C: Some Experience and the Csec Challenge (Invited paper). 8th International Workshop on Formal Aspects of Security & Trust (FAST2011), Leuven, Belgium, September 15-16, 2011. (paper (TODO), bibtex TODO).
• S. Islam, H. Mouratidis, J. Jürjens: A framework to support alignment of secure software engineering with legal regulations (Keynote). In: 8th International Workshop on Security in Information Systems (WOSIS 2011), 13th International Conference on Enterprise Information Systems (ICEIS 2011), Beijing, June 2011 (paper (TODO))
• J. Jürjens: Model-based Security Engineering for Evolving Systems. In: Workshop on Security in Model Driven Architecture (SEC-MDA'09), Fifth European Conference on Model Driven Architecture Foundations and Applications (ECMDA 2009), University of Twente, 24 June 2009. (slides)
• J. Jürjens: Model-based Security Engineering with UMLsec. In: Serenity Day: Establishing IT Security as a full engineering discipline, Brussels, 17 June 2009 (delivered remotely).
• J. Jürjens: Model-based Security Engineering: Run-time Assurance. In: Third International Workshop on Software Engineering for Secure Systems (SESS 2007 @ ICSE 2007), Minneapolis (MN), May 2007.
• Jan Jürjens, UP and Security: Overview on UMLsec, Sobenet workshop: UP, XP and architecture. Oct. 28, 2005, KU Leuven (Belgium)
• Jan Jürjens, Security Modeling with UMLsec, Workshop regarding Security in Information Systems, SISBD2004, (audio: pt 1, pt 2, slides/handout (pdf)), Málaga (Spain), Nov. 9, 2004
• Jan Jürjens, Secure Software Architecture Description using UML (slides), Workshop on Software Architecture Description & UML (SADUML2004), Lisbon (Portugal), Oct. 11–15, 2004
• Jan Jürjens, Foundations for Designing Secure Architectures (slides, audio, photo, Bibentry), First International Workshop on Views On Designing Complex Architectures (VODCA 2004), Bertinoro, Sept. 11–12 2004, ENTCS, © Elsevier.
• Jan Jürjens, Developing Safety- and Security-critical Systems with UML (audio, slides, Bibentry), DARP workshop, Loughborough, May 7–8, 2003
• Jan Jürjens, Secure Systems Development with UML – Applications to Telemedicine (slides, audio, Bibentry), CORAS workshop, International Conference on Telemedicine (ICT2002), Regensburg, Sept. 22–25, 2002

Theses

• Jan Jürjens, Principles for Secure Systems Design, Thesis for Doctor of Philosophy in Computing Science, University of Oxford. Published here.
• Jan Jürjens, Kleine Objekte in Kategorien von Algebren (paper (.ps.gz), paper (.ps), paper (pdf), Bibentry) ("Small objects in categories of algebras", Masters Thesis, University of Bremen; in German), English abstract (abstract (.ps.gz), abstract (.ps), abstract (.pdf))