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
Group by: Published Date | Item Type | Authors/Editors/Creators | No Grouping
Jump to: A | J | Y
Number of items: 9.

A

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

J

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; 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.

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

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

Y

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

This list was generated on Fri Oct 31 14:20:20 2014 GMT.

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk