The Open UniversitySkip to content

Items Authored or Edited by Jan Jurjens

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [Create Shortened URL] SURL
Number of items: 9.

Authored Book

Jurjens, J (2005). Secure systems development with UML. Berlin: Springer.

Journal Article

Jurjens, Jan (2009). A domain-specific language for cryptographic protocols based on streams. Journal of Logic and Algebraic Programming, 78(2) pp. 54–73.

Jurjens, Jan (2001). On a problem of Gabriel and Ulmer. Journal of Pure and Applied Algebra, 158(2/3) pp. 183–196. file

Conference Item

Yu, Yijun; Jurjens, Jan and Mylopoulos, John (2008). Traceability for the maintenance of secure software. In: IEEE International Conference on Software Maintenance, 28 Sept - 4 Oct 2008, Beijing, China, p. 297. file

Jurjens, Jan; Schreck, Jörg and Yu, Yijun (2008). Automated analysis of permission-based security using UMLsec (TOOL DEMO). In: ETAPS 2008 , 29 March - 6 April 2008, Budapest, Hungary.

Jurjens, Jan (2007). Developing secure embedded systems: Pitfalls and how to avoid them. In: 29th International Conference on Software Engineering (ICSE 2007), 20-26 May 2007, Minneapolis, MN, IEEE Computer Society, pp. 182–183.

Jürjens, Jan and Yu, Yijun (2007). Tools for model-based security engineering: models vs. code. In: 22nd IEEE/ACM International Conference on Automated Software Engineering, 5-9 November 2007, Atlanta, Georgia, USA. file

Jurjens, J (2006). Security analysis of crypto-based java programs using automated theorem provers. In: 21st International Conference on Automated Software Engineering (ASE 2006), Nov 2006, IEEE, pp. 167–176.

Abadi, Martin and Jurjens, Jan (2001). Formal eavesdropping and its computational interpretation. In: Theoretical Aspects of Computer Software (4th International Symposium, TACS 2001) (Kobayashi, Naoki and Pierce, Benjamin C. eds.), Dec 2001, Sendai, Japan, Springer, pp. 82–94.

This list was generated on Thu Oct 8 13:04:58 2015 BST.

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340