Full Seminar Details

Dr Jan Jurjens

Technical University of Munich

Dr Jan Jurjens
Model-based Security Engineering
This event took place on Tuesday 25 April 2006 at 12:30

The current state of the art in security-critical software is far from satisfactory: New security vulnerabilities are detected on an almost daily basis. To improve this situation, we develop techniques and tools that perform an automated analysis of software artefacts for security requirements (such as secrecy, integrity, and authenticity). These artefacts include specifications in the Unified Modeling Language (UML), annotated source code, and run-time data such as security permissions. The security analysis techniques make use of model-checkers and automated theorem provers for first-order logic. We give examples for security flaws found in industrial software using our tools.

Download PowerPoint presentation (3.4Mb ZIP file)

Watch the webcast replay >>

Jobs

Front-end Web Developer and UX Designer (GR7)

Knowledge Media Institute (KMi)
£33,199 - £39,609
Based in Milton Keynes
Temporary contract up to 20 months

The team at the OU runs the world’s largest aggregator of research papers called CORE (core.ac.uk), with about 1.5 million monthly active users, and a set of projects promoting principles of Open Science, such as FOSTER (fosteropenscience.eu)....

Front-end Web Developer and UX Designer (GR6)

Knowledge Media Institute (KMi)
£27,025 - £32,236
Based in Milton Keynes
Temporary contract up to 20 months

The team at The Open University runs the world’s largest aggregator of research papers called CORE (core.ac.uk), with about 1.5 million monthly active users, and a set of projects promoting principles of Open Science, such as FOSTER...

Mobile Applications Developer (GR6)

Knowledge Media Institute (KMi)
£27,025 - £32,236
Based in Milton Keynes
Permanent Appointment

The Research and Innovation Software team develop software for a range of research projects and University courses. With this role we are looking for someone who can be a mobile applications developer for the team. This would involve both...

CONTACT US

Knowledge Media Institute
The Open University
Walton Hall
Milton Keynes
MK7 6AA
United Kingdom

Tel: +44 (0)1908 653800

Fax: +44 (0)1908 653169

Email: KMi Support

COMMENT

If you have any comments, suggestions or general feedback regarding our website, please email us at the address below.

Email: KMi Development Team