meeting

The presentations from the internal tutorial meeting can be downloaded from the document library of the website. The slides from the following sessions are available:

On the first week of April the second SecureChange meeting was organized at INRIA in Lille, where the partners held an internal training workshop to share their backgrounds with the others.

In the beginning of the workshop Open University and later Thales presented their security modeling notations and tools. In the afternoon, the techniques and tools for model-based testing were introduced by INRIA, Smartesting and University of Innsbruck.