This Project's

Research Team



External Collaborators

  • Universita degli Studi di Trento;
  • Budapest University of Technology and Economics;
  • Gemalto;
  • Institut national de Recherche en Informatique et en Automatique;
  • Katholieke Universiteit Leuven;
  • Smartesting;
  • Stiftelsen for Industiell og teknisk forskning ved Norges Tekniske Hogskole;
  • Thales;
  • Telefonica Investigacion y Desarrollo Sociedad Anonima Unipersonal;
  • University of Innsbruck;
  • Deep Blue;
  • Technische Universitat Dortmund;

Secure Change

Theme: Security and Privacy
Funding Agency: European Commission FP7 STREP, ExternalS, 500K (OU)
Period: 2009 - 2012

The SecureChange project aims to develop techniques and tools that ensure "lifelong" compliance to evolving security, privacy and dependability requirements for a long-running evolving software system. To do this for security requirements (Work Package 3), the project demonstrates on the evolving design of an air-traffic management system at the Rome Airport, that some assumptions about the trust delegations do not hold anymore, which require introducing new components to mitigate those risks exposed in the existing design. As a result of the work, we have delivered a model-based change pattern detector and a tool to support the argument-based formal reasoning of evolving security requirements.