|
Forerunner/Follow-up Projects |
Forerunner Projects | | | | | | The AVISPA Project | Automated Validation of Internet Security Protocols and Applications, Shared-cost RTD (FET open) project, Information Society Technologies Programme (IST), operating within the Fifth Framework Programme,.started on January 1st, 2003. | | The AVISS Project | Automatic Verification of Infinite State Systems, Information Society Technologies Programme (IST), FET Open Assessment 1-year Project: IST-2000-26410, started May 1st, 2001. | | | | Follow-up Projects | | | | | The SPaCIoS Project
| Secure Provision and Consumption in the Internet of Services, operating within the 7th Framework Programme (FP7) FP7-ICT-2009-5, ICT-2009.1.4: Trustworthy ICT, started October 1st, 2011 | | | |
|
