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
Narrative Hypermedia is...
Hypermedia is the combination of hypertext for linking and structuring multimedia information.
Narrative Hypermedia is therefore concerned with how all of the above narrative forms, plus the many other diverse forms of discourse possible on the Web, can be effectively designed to communicate coherent conceptual structures, drawing inspiration from theories in narratology, semiotics, psycholinguistics and film.
List all Narrative Hypermedia Projects
Check out these Hot Narrative Hypermedia Technologies:
List all Narrative Hypermedia Technologies
