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 chair [[http://www.fmis.informatik.tu-darmstadt.de/][Theoretical Computer Science: Formal Methods and Information Security]] at the [[http://www.tu-darmstadt.de/index.en.html][TU Darmstadt]] develops formal methods, techniques, and tools for the development of secure and reliable software systems. Up to and including March 2007 our group participated in Mobius as Formal Methods for Security Engineering Group at the RWTH Aachen. 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/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@fmis.informatik.tu-darmstadt.de Prof. Dr. Heiko Mantel]] -- Main.AlexanderLux - 10 Jul 2007
End of topic
Skip to action links
|
Back to top
r1.2 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
TUD
to top
Ideas, requests, problems regarding the Mobius site