Relevant links

This is an ever-growing, non-comprehensive list of links which, either theoretically or practically, are relevant to the AVISPA project, i.e., competitor/cooperating systems and projects, web pages devoted to security protocols and secure internet applications and sites of groups/institutions which have manifested interest in AVISPA.

If you think you have material which could be relevant to AVISPA, please do not hesitate to contact us. We will examine your contribution and possibly add it to this page.

The AVANTSSAR project

The Scyther tool

The SPORE project

The VerifiCard project

Mobile Code Security

The DEGAS Project


The CSP/FDR framework

Internet Infrastructre Protection (NIST)