FET-Global Computing
MyThS
|
Models and Types for Security in Mobile Distributed Systems Contract IST-2001-32617 (MyThS) |
EU proactive initiative
FET-Global Computing
| Number | Title | Month | Format | Annexes |
| D1.1 | Name-passing calculi and crypto-primitives: state of the art | 3 | here | |
| D1.2 | Ambient based calculi for mobility: state of the art and advances | 18 | none | |
| D1.3 | Models of information flow based on non-interleaving, casual models of concurrency | 34 | none | |
| D2.1 | Type-based definition of access and security policies | 12 | here | |
| D2.2 | Type-and-effect systems for capability managment | 12 | here | |
| D2.3 | Final workpackage report | 18 | here | |
| D3.1 | Information flow security with ambient-based mobility | 12 | here | |
| D3.2 | Type based analisys of non-interference for ambient-based mobility | 18 | here | |
| D3.3 | (Probabilistic) non-interference: state of the art and advances | 18 | none | |
| D4.1 | Typed protocol analisys with basic process calculi: state of the art and advances | 12 | here | |
| D4.2 | Type-and-effect systems for protocol analisys | 18 | here | |
| D4.3 | Typed protocol analisys in location-aware calculi with agent mobility | 34 | here | |
| D4.4 | Information-flow type systems for protocol analisys | 40 | here | |
| D5.1 | Distribuited and partial typing for capability-based access control and non-interference: dynamic typing | 24 | here | |
| D5.2 | Distribuited and partial typing for capability-based access control and non-interference: static typing | 34 | here | |
| D6.1 | Type systems for the analisys of access control with partial information and mutable trust | 34 | here | |
| D6.2 | Type systems for the analisys of information flow with partial information and mutable clearence levels | 40 | here | |
| D7 | Final workpackage report | 40 | here | |
| D8.1 | Self-assessment plan | 6 | none | |
| D8.2 | Annual progress and assessment report | 12 | here | |
| D8.3 | Annual progress and assessment report | 24 | here | |
| D8.4 | Annual progress and assessment report | 36 | here | |
| D8.5 | Final progress and assessment report | 40 | here | |
| D9.1 | Project presentation | 6 | none | |
| D9.2 | Dissemination and use plan | 6 | none | |
| D9.3 | Project web site | 12 | link | - |
| D9.4 | Preliminary proceedings of workshop 1 | 12 | link | - |
| D9.5 | Preliminary proceedings of workshop 2 | 40 | link | - |
| D9.6 | Technology implementation plan | 40 | - | |