Skip to topic
|
Skip to bottom
IST-15905
Mobius
Home
Objectives
Partners
Workpackages
End User Panel
Scientific Advisory Board
Publications
Deliverables
Links to Related projects
Intranet
Tools
Search
Changes
Start of topic |
Skip to actions
The Formal Methods for Security Engineering Group at the [[http://www.rwth-aachen.de/zentral/english_aboutrwth.html][RWTH Aachen]] develops formal methods, techniques, and tools for the development of secure and reliable software systems. We are involved in the following work packages and tasks. Task leadership is indicated with a <img src="http://mobius.inria.fr/twiki/pub/TWiki/TWikiDocGraphics/stargold.gif" alt="stargold.gif">: * [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage1][Work Package 1]]: Security Requirements * Task 1.1: Information Flow Security Policies * [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage2][Work Package 2]]: Type-Based Verification * Task 2.1: Types for Information Flow Security <img src="http://mobius.inria.fr/twiki/pub/TWiki/TWikiDocGraphics/stargold.gif"> * Task 2.2: Mechanisms for Safe Information Release *Contact*: [[mailto:mantel@informatik.rwth-aachen.de Dr. Heiko Mantel]]
End of topic
Skip to action links
|
Back to top
r1.5 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
RwthAachen
to top
Ideas, requests, problems regarding the Mobius site