Forerunner Projects

Project Description
The AVANTSSAR Project The AVANTSSAR Project automated validation of trust and security of service-oriented architectures, STREP project 216471, FP7 THEME ICT-1-1.4, 01.01.08 – 31.12.10
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.