Opis projektu Trustworthy ICT Pokaż cel projektu Ukryj cel projektu 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 techniques to semi-automatically detect unintended behaviours in software systems. This approach allows the verification and secure exploitation of legacy and commercial-off-the-shelf components.Yet in the domain of security, program analysis techniques are still in infancy. They face several challenges, among which the incomplete detection of security flaws, and limited support both for programming languages and industrial verification procedures. These challenges are hindering the adoption of program analysis tools as part of security assurance practices and certification standards compliance checks.The objective of STANCE is to drive scientific and technological breakthroughs in the domain of software security. Over three years, STANCE will define, implement and validate a set of program analysis tools capable of verifying the security of complex software systems made in C, C++ and Java. STANCE proposes to build on existing assets: formal methods, state-of-the-art static and dynamic program analysis tools, security evaluation expertise, and industry-specific knowledge will be used and significantly extended. The resulting program analysis toolbox and supporting methods will increase the trustworthiness and the cost-effectiveness of existing security-oriented processes. These innovations will durably alter the domain of software security assurance, with broad consequences on its legal, societal, and economic aspects.STANCE gathers the expertise of 10 organisations from 5 countries, including 4 leading industrial partners, 2 SMEs and 4 academic and research partners. Dziedzina nauki natural sciencescomputer and information sciencessoftwaresoftware applicationssystem software Program(-y) FP7-ICT - Specific Programme "Cooperation": Information and communication technologies Temat(-y) ICT-2011.1.4 - Trustworthy ICT Zaproszenie do składania wniosków FP7-ICT-2011-8 Zobacz inne projekty w ramach tego zaproszenia System finansowania CP - Collaborative project (generic) Koordynator COMMISSARIAT A L ENERGIE ATOMIQUE ET AUX ENERGIES ALTERNATIVES Wkład UE € 1 164 245,00 Adres RUE LEBLANC 25 75015 PARIS 15 Francja Zobacz na mapie Region Ile-de-France Ile-de-France Paris Rodzaj działalności Research Organisations Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych Uczestnicy (9) Sortuj alfabetycznie Sortuj według wkładu UE Rozwiń wszystko Zwiń wszystko TECHNISCHE UNIVERSITAET GRAZ Austria Wkład UE € 353 276,00 Adres RECHBAUERSTRASSE 12 8010 Graz Zobacz na mapie Region Südösterreich Steiermark Graz Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych KATHOLIEKE UNIVERSITEIT LEUVEN Belgia Wkład UE € 310 184,00 Adres OUDE MARKT 13 3000 Leuven Zobacz na mapie Region Vlaams Gewest Prov. Vlaams-Brabant Arr. Leuven Rodzaj działalności Higher or Secondary Education Establishments Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych FRAUNHOFER GESELLSCHAFT ZUR FORDERUNG DER ANGEWANDTEN FORSCHUNG EV Niemcy Wkład UE € 455 283,00 Adres HANSASTRASSE 27C 80686 Munchen Zobacz na mapie Region Bayern Oberbayern München, Kreisfreie Stadt Rodzaj działalności Research Organisations Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych INFINEON TECHNOLOGIES AG Niemcy Wkład UE € 298 373,00 Adres AM CAMPEON 1-15 85579 Neubiberg Zobacz na mapie Region Bayern Oberbayern München, Landkreis Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych TRUSTED LABS SAS Francja Wkład UE € 129 219,00 Adres 6 RUE DE LA VERRERIE 92190 MEUDON CEDEX Zobacz na mapie Region Ile-de-France Ile-de-France Hauts-de-Seine Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Koszt całkowity Brak danych THALES SIX GTS FRANCE SAS Francja Wkład UE € 329 459,00 Adres AVENUE DES LOUVRESSES 4 92230 Gennevilliers Zobacz na mapie Region Ile-de-France Ile-de-France Hauts-de-Seine Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych DASSAULT AVIATION Francja Wkład UE € 294 427,00 Adres 9 ROND POINT CHAMPS-ELYSEES-MARCEL DASSAULT 75008 Paris Zobacz na mapie Region Ile-de-France Ile-de-France Paris Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych ARTTIC Francja Wkład UE € 229 134,00 Adres 39 RUE DES MATHURINS 75008 Paris Zobacz na mapie Region Ile-de-France Ile-de-France Paris Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych SEARCH-LAB BIZTONSAGI ERTEKELO ELEMZO ES KUTATO LABORATORIUM KORLATOLTFELELOSSEGU TARSASAG Węgry Wkład UE € 236 400,00 Adres SZERUSKERT UTCA 19 1 EM 6 1033 Budapest Zobacz na mapie Region Közép-Magyarország Budapest Budapest Rodzaj działalności Private for-profit entities (excluding Higher or Secondary Education Establishments) Linki Kontakt z organizacją Opens in new window Strona internetowa Opens in new window Koszt całkowity Brak danych