Project title: "Executable and verifiable models for security of communicating systems"

The project has run in the frame of EcoNet programme, coordinated by Prof. Daniele Beauquier, Univ. Paris 12 Val-de-Marne, between 01.01.2004 and 31.12.2005. It was supported by French National Research Unit. The IeAT role in the project was research on security, organization of one meeting, professor and student mobilities.