workshop

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.