http://mobius.inria.fr/twiki/bin/view/WorkPackage The WorkPackage web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World. en-us Copyright 2010 by contributing authors Jorge Sacchini [Jorge-Luis.Sacchini@sophia.inria.fr] Jorge Sacchini [Jorge-Luis.Sacchini@sophia.inria.fr] TWiki TWiki.WorkPackage http://mobius.inria.fr/twiki/bin/view/WorkPackage http://mobius.inria.fr/twiki/pub/TWiki/TWikiLogos/twikiRobot46x50.gif http://mobius.inria.fr/twiki/bin/view/WorkPackage/WebStatistics?t=2009-12-01T06:02Z 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 ... (last changed by TWikiGuest) 2009-12-01T06:02Z guest 1.1441 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebStatistics http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebStatistics http://mobius.inria.fr/twiki/bin/view/WorkPackage/WebLeftBar?t=2009-07-30T09:07Z Mobius Home Objectives Partners Workpackages End User Panel Scientific Advisory Board Publications Deliverables Links to Related projects Intranet Tools Search Changes ... (last changed by JorgeSacchini) 2009-07-30T09:07Z JorgeSacchini 1.22 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebLeftBar http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebLeftBar http://mobius.inria.fr/twiki/bin/view/WorkPackage/WebHome?t=2008-11-06T11:17Z Work Packages Technical activities WP1 Security Requirements : The objective of this work package is to concretely specify a comprehensive set of security requirements ... (last changed by GillesBarthe) 2008-11-06T11:17Z GillesBarthe 1.23 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebHome http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebHome http://mobius.inria.fr/twiki/bin/view/WorkPackage/WebNotify?t=2007-11-29T13:37Z 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 ... (last changed by SophieHadjadj) 2007-11-29T13:37Z SophieHadjadj 1.5 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebNotify http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebNotify http://mobius.inria.fr/twiki/bin/view/WorkPackage/WebHomePhotoarchive?t=2006-08-25T14:13Z WPlan.png Project Schedule (Click on the picture to enlarge) (last changed by SophieHadjadj) 2006-08-25T14:13Z SophieHadjadj 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebHomePhotoarchive http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebHomePhotoarchive http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage6?t=2005-11-11T17:48Z Work Package 6 : Dissemination, Training and Exploitation The objective of this work package is threefold: To maximize the visibility of Mobius to the scientific ... (last changed by IanStark) 2005-11-11T17:48Z IanStark 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage6 http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage6 http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage1?t=2005-11-10T16:43Z Work Package 1 : Security Requirements The objective of this work package is to specify a comprehensive set of security requirements relevant to global computing ... (last changed by IanStark) 2005-11-10T16:43Z IanStark 1.10 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage1 http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage1 http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage2?t=2005-11-10T16:41Z Objectives of this WP: To develop type systems that guarantee adherence to security-related properties for global computing. In this period the particular properties ... (last changed by IanStark) 2005-11-10T16:41Z IanStark 1.5 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage2 http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage2 http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage4?t=2005-11-03T11:41Z 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 ... (last changed by DavidAspinall) 2005-11-03T11:41Z DavidAspinall 1.6 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage4 http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage4 http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage3?t=2005-10-25T14:05Z Work Package 3 Logic-based Verification This work package develops scalable logical techniques for the specification and verification of functional and security properties ... (last changed by AleksySchubert) 2005-10-25T14:05Z AleksySchubert 1.6 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage3 http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage3 http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage5?t=2005-08-01T09:03Z 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 ... (last changed by PierreCregut) 2005-08-01T09:03Z PierreCregut 1.3 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage5 http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage5 http://mobius.inria.fr/twiki/bin/view/WorkPackage/WebPreferences?t=2005-07-07T14:33Z WorkPackage Web Preferences The following settings are web preferences of the WorkPackage web. These preferences overwrite the site-level preferences in TWIKIWEB ... (last changed by JulienCharles) 2005-07-07T14:33Z jcharles 1.10 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebPreferences http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebPreferences http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage7?t=2005-07-06T14:09Z This work package ensures the scientific coordination and administrative and financial governance of the overall MOBIUS project. Work Package Leader : INRIA (last changed by SophieHadjadj) 2005-07-06T14:09Z SophieHadjadj 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage7 http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage7 http://mobius.inria.fr/twiki/bin/view/WorkPackage/WorkPackage?t=2005-04-06T12:39Z Work Package (last changed by JulienCharles) 2005-04-06T12:39Z jcharles 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WorkPackage http://mobius.inria.fr/twiki/bin/view/WorkPackage/WebRss?t=2004-08-16T03:27Z TWiki's WorkPackage web SCRIPTURL /view SCRIPTSUFFIX /WorkPackage The WorkPackage web of TWiki. TWiki is a Web-Based Collaboration Platform for the Corporate World ... (last changed by PeterThoeny) 2004-08-16T03:27Z PeterThoeny 1.2 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebRss http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebRss http://mobius.inria.fr/twiki/bin/view/WorkPackage/WebSearchAdvanced?t=2004-01-18T10:52Z INCLUDE{" TWIKIWEB .WebSearchAdvanced"} (last changed by PeterThoeny) 2004-01-18T10:52Z PeterThoeny 1.1 updated major http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebSearchAdvanced http://mobius.inria.fr/twiki/bin/rdiff/WorkPackage/WebSearchAdvanced