Search for European Projects

1 European Projects Found

Searched on 125080 European Projects

 FINISHED 

A Source code analysis Toolbox for software security AssuraNCE (STANCE)

Start date: Oct 1, 2012, End date: Sep 30, 2015,

The immunity of a system to malicious third parties trying to modify its behaviour (e.g. to perform unauthorized actions) is called security. Ensuring this feature in information and communication technologies is a requirement for establishing a trustworthy Information Society. Several strategies can be explored to deal with this problem. One of them, called program analysis, relies on formal tech ...
Read Project

 10