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
[[http://www.chalmers.se/][<img border="0" src="http://www.cs.chalmers.se/~andrei/cth-logo.gif" alt="Chalmers"/>]] The research team involved in the Mobius project consists of two Chalmers research groups: [[http://www.cs.chalmers.se/ComputingScience/Research/Security/][ProSec]] and [[http://www.cs.chalmers.se/Cs/Research/FormalMethods/][Formal Methods]] groups. The <nop>ProSec group explores security models and enforcement mechanisms based on programming-language technology. The group is involved in the following work packages and tasks. The leadership over a work package or task is marked with a %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif: * [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage1][Work Package 1]]: Security Requirements * Task 1.1: Information Flow Security Policies <img src="http://mobius.inria.fr/twiki/pub/TWiki/TWikiDocGraphics/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 * Task 2.2: Mechanisms for Safe Information Release <img src="http://mobius.inria.fr/twiki/pub/TWiki/TWikiDocGraphics/stargold.gif"> * [[WorkPackage.WorkPackage6][Work Package 6]]: Dissemination, training and exploitation * Task 6.2: Dissemination activities * Task 6.3: Liaison with other initiatives The Formal Methods group has expertise in program verification, formal specification, theorem proving and disproving, as well as satisfiability checking. The group is involved in the following work packages and tasks. The leadership over a work package or task is marked with a %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif: * [[http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage1][Work Package 1]]: Security Requirements * Task 1.1: Information Flow Security Policies * [[WorkPackage.WorkPackage3][Work Package 3]]: Logic-based verification * Task 3.4: Modular verification * Task 3.5: Combining type-based and logical analyses %PUBURL%/%TWIKIWEB%/TWikiDocGraphics/stargold.gif * [[WorkPackage.WorkPackage5][Work Package 5]]: Case studies * Task 5.3: Evaluation of Logical verification techniquese * [[WorkPackage.WorkPackage6][Work Package 6]]: Dissemination, training and exploitation * Task 6.2: Dissemination activities * Task 6.3: Liaison with other initiatives *Contacts:* [[http://www.cs.chalmers.se/~andrei/][Dr. Andrei Sabelfeld (site leader)]] [[http://www.cs.chalmers.se/~reiner/][Prof. Reiner Hähnle]] People: * Tobias Gedell, * Reiner Hähnle, * Andrei Sabelfeld, * David Sands, * Dennis Walter, * ...
End of topic
Skip to action links
|
Back to top
r1.3 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Members
>
ChalmersUniversity
to top
Ideas, requests, problems regarding the Mobius site