En-tête de navigationNavigation principaleSuiviFiche

Unité de recherche
PCRD EU
Numéro de projet
02.0431
Titre du projet
AVISPA: Automated validation of internet security protocols and applications
Titre du projet anglais
AVISPA: Automated validation of internet security protocols and applications

Participants
Office fédéral/ Unité administrative
Personne à contacter

 Prof. Dr.
David Basin
ETH Zürich
Institut für Informatik
ETH Zentrum
CH-8092 Zürich
01 632 72 45
basin@inf.ethz.ch