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