Ana Rosa Cavalli
Information
Professor
Office:A 209
Address:Institut National des Telecommunications,
Departement Logiciels-Reseaux,
9 rue Charles Fourier 91011 Evry Cedex,
France
Tel: +33 1 60 76 44 27
Fax: +33 1 60 76 47 11
Email: Ana.Cavalli@it-sudparis.eu
Research Interest
Specification and verification of network protocols and services.
Methodology and tools for conformance and interoperability testing.
Modeling and testing of security properties.
