ServicenavigationHauptnavigationTrailKarteikarten

Research unit
EU RFP
Project number
02.0431
Project title
AVISPA: Automated validation of internet security protocols and applications

Participants

Research organisation:
Contact person

 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