Dr. Jan Jürjens, Dipl.-Math.
Senior Lecturer / Royal Society Industrial Fellow


Jan Juerjens


E-mail (IMPORTANT):


Affiliations:
Computing Department,
Centre for Research in Computing,
The Open University, GB
and
Microsoft Research (Cambridge)
(as RS Industrial Fellow)
and
Robinson College (Univ. Cambridge)
(as Nonstip. Research Fellow)

Mobile: +44 7804 941 884
Secretary: +44 1908 858 462

Research(more)

  • Security
  • Software Engin.
  • Model-based SE
  • UMLsec
  • Tools
  • Foundations
  • MSc/PhD proj.

    • Links

  • People
  • Visitors
  • Some cv details
  • Teaching/ Training
  • Ranking: OU best UK University in student satisfaction
  • PhD/Postdoc position in Model-based Security !

    • Book Cover

    Publications (more)

  • Model-based vs. Code-based Verification for Critical Systems. (Models 2008 tutorial)
  • Model-based Security Analysis for Mobile Communications. ICSE 2008
  • Automated Analysis of Permission-Based Security using UMLsec. FASE 2008.
  • Secure Systems Development with UML, Springer-Verlag 2005
    		•

    Projects (more)

  • Automated Verification of Security-Critical Software (VeriSec) (Royal Society Industrial Fellowship with MS Research)
  • Verifying Implementations of Security Protocols in C (MS Research)
  • Secure Change (EU FET IP)
  • Modelling for Compliance (EPSRC CASE studentship with BT Research)
  • Modelbased Formal Security Analysis of Crypto-Protocol Implementations (Royal Society)
  • Security & Privacy for All (EPSRC PPE)

    • Organization (more)

  • IFIP Working Group 1.7 "Theoretical Foundations of Security Analysis and Design"
  • GI FoMSESS (chair)
  • GI Division of Safety and Security
  • GI QFA Modellierung