Model-based Security Engineering
This event took place on Tuesday 25 April 2006 at 12:30
Dr Jan Jurjens Technical University of Munich
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)
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)
Future Internet
KnowledgeManagementMultimedia &
Information SystemsNarrative
HypermediaNew Media SystemsSemantic Web &
Knowledge ServicesSocial Software
New Media Systems is...
Our New Media Systems research theme aims to show how new media devices, standards, architectures and concepts can change the nature of learning.
Our work involves the development of short life-cycle working prototypes of innovative technologies or concepts that we believe will influence the future of open learning within a 3-5 year timescale. Each new media concept is built into a working prototype of how the innovation may change a target community. The working prototypes are all available (in some form) from this website.
Our prototypes themselves are not designed solely for traditional Open Learning, but include a remit to show how that innovation can and will change learning at all levels and in all forms; in education, at work and play.
List all New Media Systems Projects
Check out these Hot New Media Systems Technologies:
List all New Media Systems Technologies
