INCLUDE{" TWIKIWEB .WebChanges"}

Work Packages Technical activities WP1 Security Requirements : The objective of this work package is to concretely specify a comprehensive set of security requirements ...

WPlan.png Project Schedule (Click on the picture to enlarge)

SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList

Mobius Home Objectives Partners Workpackages End User Panel Scientific Advisory Board Publications Deliverables Links to Related projects Intranet Tools Search Changes ...

This is a subscription service to be automatically notified by e-mail when topics change in this WorkPackage web. This is a convenient service, so you do not have ...

WorkPackage Web Preferences The following settings are web preferences of the WorkPackage web. These preferences overwrite the site-level preferences in TWIKIWEB ...

TWiki's WorkPackage web SCRIPTURL /view SCRIPTSUFFIX /WorkPackage The WorkPackage web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World ...

INCLUDE{" TWIKIWEB .WebSearch"}

INCLUDE{" TWIKIWEB .WebSearchAdvanced"}

Statistics for WorkPackage Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads: Dec 2009 18 0 ...

TOPICLIST{" $name "} See also the verbose WebIndex.

Work Package

Work Package 1 : Security Requirements The objective of this work package is to specify a comprehensive set of security requirements relevant to global computing ...

Objectives of this WP: To develop type systems that guarantee adherence to security-related properties for global computing. In this period the particular properties ...

Work Package 3 Logic-based Verification This work package develops scalable logical techniques for the specification and verification of functional and security properties ...

Work Package 4 Proof Carrying Code The overall objective of this work package is to develop a Proof Carrying Code (PCC) infrastructure that allows code consumers ...

Work Package 5 : Case Studies This work package will evaluate the different prototypes developed in the pro ject on their ability to check the security requirements ...

Work Package 6 : Dissemination, Training and Exploitation The objective of this work package is threefold: To maximize the visibility of Mobius to the scientific ...

This work package ensures the scientific coordination and administrative and financial governance of the overall MOBIUS project. Work Package Leader : INRIA