SMARTESTING
SMARTESTING
4 Projects, page 1 of 1
assignment_turned_in ProjectFrom 2011Partners:SMARTESTING, INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - (INRIA Centre Nancy Grand-Est)SMARTESTING,INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE - (INRIA Centre Nancy Grand-Est)Funder: French National Research Agency (ANR) Project Code: ANR-11-ASTR-0002Funder Contribution: 285,312 EUREither in defense or civil domains, the awareness about security issues of information or communication systems is increasing. The vulnerabilities or malicious attacks can have dramatic results. The security of information or communication systems should be achieved at several levels: • Processes and organizations to establish the security based on risk analysis and to define security policy; • Physical infrastructure, securing their access or their sealing; • Software components provide security features on all layers of the information system. The OSEP project addresses clearly the third point (in software). The OSEP project will provide innovative technology for testing the correct implementation of the properties expected for safety. A recent study by the Software Engineering Institute (SEI) of Carnegie Mellon University (cf http://www.sei.cmu.edu/tsp/research/) has shown on a representative sample of information systems that 90% of security incidents were caused by attacks on software fault. A key challenge for a good management of the security policy resides in the ability to identify reliable security features, and to ensure their proper implementation. The security policy is implemented through security components, such as cryptographic components, smart cards, authentication components, firewalls or filtering devices. These security features are present in a multitude of systems for both civil and defense fields. The strategic objective of OSEP project aims to strengthen security through innovative techniques. These techniques use test generation driven by models for testing features and safety components. The expected results will lead to both a management of off-line test generation from schemas for security properties and complementary techniques for in-line generation and test execution. These technologies are based on complex research issues, both in terms of test coverage associated with the security properties, in test generation algorithmic and in the management of the generation and execution for online testing. The level of technological maturity of the research project, classified on the scale of the TRL (Technology Readiness Level) is at level 2 and 3 for the part concerning the safety test online from templates, at level 3 and 4 for the test generation part driven by the security properties from schemas. The OSEP project is a research project that combines an innovative SME, Smartesting technology, specialist in tests generation from model and an INRIA team, the project team CASSIS - Combining Approaches For the Security of Infinite State Systems - specializing in the field of verification and security. The search results will be tested in two contexts: security components and software radio, in partnership with the Department “Analyse et Développement de Logiciels de Sécurité” of DGA Maîtrise de l’information.
All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=anr_________::4d83dc3b918799d5d2fdb16b1ef740b2&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eumore_vert All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=anr_________::4d83dc3b918799d5d2fdb16b1ef740b2&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euassignment_turned_in ProjectFrom 2005Partners:INP Grenoble, INRIA, GEMALTO, SMARTESTING, SILICOMP-AQLINP Grenoble,INRIA,GEMALTO,SMARTESTING,SILICOMP-AQLFunder: French National Research Agency (ANR) Project Code: ANR-05-RNTL-0010Funder Contribution: 899,471 EURAll Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=anr_________::4f2e365ed41574633eec7e238b854133&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eumore_vert All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=anr_________::4f2e365ed41574633eec7e238b854133&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euassignment_turned_in ProjectFrom 2005Partners:SAP Labs France, INRIA, Orange (France), Grenoble INP - UGA, SMARTESTING +2 partnersSAP Labs France,INRIA,Orange (France),Grenoble INP - UGA,SMARTESTING,SILICOMP-AQL,IMTFunder: French National Research Agency (ANR) Project Code: ANR-05-RNRT-0013Funder Contribution: 1,013,510 EURAll Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=anr_________::df7f015bc397f89806ae177202e80f2c&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eumore_vert All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=anr_________::df7f015bc397f89806ae177202e80f2c&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euassignment_turned_in ProjectFrom 2009Partners:TRUSTED LABS, ECOLE SUPERIEURE DELECTRICITE (SUPELEC), UFC, SMARTESTING, SERMA TECHNOLOGIES +3 partnersTRUSTED LABS,ECOLE SUPERIEURE DELECTRICITE (SUPELEC),UFC,SMARTESTING,SERMA TECHNOLOGIES,Supélec,UNIVERSITE JOSEPH FOURIER - GRENOBLE 1,GEMALTO SAFunder: French National Research Agency (ANR) Project Code: ANR-09-SEGI-0014Funder Contribution: 1,020,330 EURAll Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=anr_________::8658c27a2594bf088dfb79d48a16d99b&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eumore_vert All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=anr_________::8658c27a2594bf088dfb79d48a16d99b&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu