Schmidt, Holger; Jürjens, Jan
UMLsec4UML2 - Adopting UMLsec to Support UML2: Using UMLsec4UML2 for the Specification of Architectural Security PatternsDortmund: Technische Universität Dortmund 2011 S. 1 - 17
Peschke, Marc; Hirsch, Martin; Jürjens, Jan et al.
Werkzeuggestützte Identifikation von IT-SicherheitsrisikenPeter Schartner;Jürgen Taeger (Hrsg). D-A-CH security 2011: Bestandsaufnahme - Konzepte - Anwendungen - Perspektiven. Klagenfurt: Syssec 2011 S. 267 - 278
Aizatulin, Mihhail; Gordon, Andrew D.; Jürjens, Jan
Cryptographic Security Verification for C by Symbolic Execution: A 5-minute presentationComputer Security Foundations Symposium (CSF). 2010
Jürjens, Jan; Schmidt, Holger
Werkzeugunterstützung für UML- und Geschäftsprozessmodelle2010 S. 1 - 15
Washizaki, Hironori; Yoshioka, Nobukazu; Fernandez, Eduardo B. et al.
Proceedings of the Third International Workshop on Software Patterns and Quality SPAQu’09: 25. October 2009Tokyo: GRACE Center for Global Research in Advanced Software Science and Engineering 2009
Houmb, Siv Hilde; Georg, Geri; Jürjens, Jan et al.
An Integrated Security Verification and Security Solution Design Trade-Off Analysis ApproachHamid Nemati (Hrsg). Information Security and Ethics: Concepts, Methodologies, Tools, and Applications; Volume 4. Hershey, PA: IGI Global 2008 S. 2234 - 2258
Jürjens, Jan; Rumm, R.
Model-based Security Analysis of the German Health Card ArchitectureMethods of Information in Medicine. Bd. 47. H. 5. Stuttgart: Thieme 2008 S. 409 - 416
Spichkova, Maria; Jürjens, Jan
Stream Based Specification of Cryptographic Protocols and Their Composition PropertiesMünchen: Technische Universität München, Institut für Informatik 2008
Jürjens, Jan
Model-based Security Engineering for Compliance with Regulatory and Business RequirementsHeinz-Gerd Hegering; Helmut Reiser; Michael Schiffers; T. Nebe (Hrsg). Proceedings of the 14th Annual Workshop of HP Software University Association, Hosted by the Leibniz Computing Center and the Munich Network Management Team, July 8-11, 2007. Stuttgart: Infonomics-Consulting 2007 S. 219 - 226
Jürjens, Jan; Golesteanu, Catinca
Reverse EngineeringMünchen: Technische Universität München, Institut für Informatik 2005 S. 1 - 49