ServicenavigationHauptnavigationTrailKarteikarten

Forschungsstelle
EU FRP
Projektnummer
02.0431
Projekttitel
AVISPA: Automated validation of internet security protocols and applications
Projekttitel Englisch
AVISPA: Automated validation of internet security protocols and applications

Beteiligte
Bundesstelle/ Verwaltungseinheit
Kontaktperson

 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