Topics in WorkPackage web: | Changed: now 11:36 | Changed by: |
WebChanges | 16 Aug 2001 - 19:58 - NEW | PeterThoeny |
INCLUDE{" TWIKIWEB .WebChanges"} |
WebHome | 06 Nov 2008 - 11:17 - r1.23 | GillesBarthe |
Work Packages Technical activities WP1 Security Requirements : The objective of this work package is to concretely specify a comprehensive set of security requirements ... |
WebHomePhotoarchive | 25 Aug 2006 - 14:13 - r1.2 | SophieHadjadj |
WPlan.png Project Schedule (Click on the picture to enlarge) |
WebIndex | 24 Nov 2001 - 11:41 - r1.2 | PeterThoeny |
SEARCH{"\. " scope "topic" regex "on" nosearch "on"} See also the faster WebTopicList |
WebLeftBar | 30 Jul 2009 - 09:07 - r1.22 | JorgeSacchini |
Mobius Home Objectives Partners Workpackages End User Panel Scientific Advisory Board Publications Deliverables Links to Related projects Intranet Tools Search Changes ... |
WebNotify | 29 Nov 2007 - 13:37 - r1.5 | SophieHadjadj |
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 ... |
WebPreferences | 07 Jul 2005 - 14:33 - r1.10 | JulienCharles |
WorkPackage Web Preferences The following settings are web preferences of the WorkPackage web. These preferences overwrite the site-level preferences in TWIKIWEB ... |
WebRss | 16 Aug 2004 - 03:27 - r1.2 | PeterThoeny |
TWiki's WorkPackage web SCRIPTURL /view SCRIPTSUFFIX /WorkPackage The WorkPackage web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World ... |
WebSearch | 08 Aug 2001 - 05:26 - NEW | PeterThoeny |
INCLUDE{" TWIKIWEB .WebSearch"} |
WebSearchAdvanced | 18 Jan 2004 - 10:52 - NEW | PeterThoeny |
INCLUDE{" TWIKIWEB .WebSearchAdvanced"} |
WebStatistics | 01 Dec 2009 - 06:02 - r1.1441 | TWikiGuest |
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 ... |
WebTopicList | 24 Nov 2001 - 11:40 - NEW | PeterThoeny |
TOPICLIST{" $name "} See also the verbose WebIndex. |
WorkPackage | 06 Apr 2005 - 12:39 - NEW | JulienCharles |
Work Package |
WorkPackage1 | 10 Nov 2005 - 16:43 - r1.10 | IanStark |
Work Package 1 : Security Requirements The objective of this work package is to specify a comprehensive set of security requirements relevant to global computing ... |
WorkPackage2 | 10 Nov 2005 - 16:41 - r1.5 | IanStark |
Objectives of this WP: To develop type systems that guarantee adherence to security-related properties for global computing. In this period the particular properties ... |
WorkPackage3 | 25 Oct 2005 - 14:05 - r1.6 | AleksySchubert |
Work Package 3 Logic-based Verification This work package develops scalable logical techniques for the specification and verification of functional and security properties ... |
WorkPackage4 | 03 Nov 2005 - 11:41 - r1.6 | DavidAspinall |
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 ... |
WorkPackage5 | 01 Aug 2005 - 09:03 - r1.3 | PierreCregut |
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 ... |
WorkPackage6 | 11 Nov 2005 - 17:48 - r1.2 | IanStark |
Work Package 6 : Dissemination, Training and Exploitation The objective of this work package is threefold: To maximize the visibility of Mobius to the scientific ... |
WorkPackage7 | 06 Jul 2005 - 14:09 - r1.2 | SophieHadjadj |
This work package ensures the scientific coordination and administrative and financial governance of the overall MOBIUS project. Work Package Leader : INRIA |