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 ...

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

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

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 ...

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

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

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 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 3 Logic-based Verification This work package develops scalable logical techniques for the specification and verification of functional and security properties ...

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 ...

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

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

Work Package

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 .WebSearchAdvanced"}

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

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

INCLUDE{" TWIKIWEB .WebChanges"}

INCLUDE{" TWIKIWEB .WebSearch"}