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
---+ Work Packages ---++Technical activities <img src="%ATTACHURLPATH%/WP.jpg" alt="WP.jpg" width="640" height="472" /> <table border=0> <td> <li/> *[[WorkPackage1][WP1 Security Requirements]]*: The objective of this work package is to concretely specify a comprehensive set of security requirements relevant to global computing that will be studied and addressed throughout the project. %BR% WP1 Leader: [[Members.TrustedLogic][Trusted Logic]] First results issued from WP1 are presented in Deliverable 1.1: Report on resource and information flow security requirements. A [[http://mobius.inria.fr/twiki/bin/view/DeliverablesList/WebHome][Downloadable version]] is available here. <li/> *[[WorkPackage2][WP2 Type-based Verification]]*: The objective of this work package is to develop type systems that guarantee adherence to security-related properties for global computing. %BR% WP2 Leader: [[Members.LudwigMaximilianUniversitat][Ludwig-Maximilian Universitat]] <li/> *[[WorkPackage3][WP3 Logic-based Verification]]*: This work package investigates logical techniques for the specification and verification of functional and security properties of multi-threaded Java, both at source code and byte code level, and with tool-support in a program verification environment. %BR% WP3 Leader: [[Members.RadboudUniversiteit][Radboud Universiteit Nijmegen]] <li/> *[[WorkPackage4][WP4 Proof Carrying Code]]*: This work package will provide a substantial advance in the state of the art in PCC, in particular by developing fondations for applying PCC to global computing and by providing various reasoning techniques to code producers. %BR% WP4 Leader: [[Members.EthZurich][ETH Zurich]] <li/> *[[WorkPackage5][WP5 Case studies]]*: The objective of this work package is to evaluate the security infrastructure developed in the project. %BR% WP5 Leader: [[Members.FranceTelecom][France Telecom]] </td> </table> ---++Other activities <table border=0> <td> <li/> *[[WorkPackage6][WP6 Dissemination, Training and Exploitation]]*: The objectives of this work package are to maximize the visibility of Mobius, to provide training to the scientific community and to industry, and to set out a reliable framework for future exploitation of the Mobius technology. These activities run for the whole duration of the project, and will involve all participants. %BR% WP6 Leader: [[Members.UniversityOfEdinburgh][The University of Edinburgh]] <li/> *[[WorkPackage7][WP7 Project Management]]*: This work package ensures the scientific coordination and administrative and financial governance of the overall MOBIUS project. %BR% WP7 Leader: [[Members.UniversidadPolitecnica][UPM Madrid]] </td> </table> ---++ Schedule %PHOTOARCHIVEPLUGIN%
End of topic
Skip to action links
|
Back to top
r1.23 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Work Package
>
WebHome
to top
Ideas, requests, problems regarding the Mobius site