Powered by OpenAIRE graph
Found an issue? Give us feedback


1 Projects, page 1 of 1
  • Funder: ANR Project Code: ANR-13-ASMA-0003
    Funder Contribution: 451,203 EUR

    "Security components represent a strategic issue for the security of computer systems, in the domain of Defense applications (e.g. for cyphering and authentication), as well as for Civilian applications (e.g. for smart cards, or access control systems). Security testing applied to these components aim at ensuring that security properties, such as confidentiality or integrity, are correctly implemented inside the component. It is also important to test for potential vulnerabilities of the component when it faces attacks or malicious behaviors. The MBT_Sec project aims at developing an environment for automated security testing dedicated to security components. Its goal is to increase the technological maturity of the results obtained during the ASTRID OSeP project to move this latter from a TRL 3-4 to a TRL 5-6. The projet addresses 3 main technological questions: - the scalability of the automated test generation algorithms; - the adaptation of the behavioral modelling language to the specific target of security components; - the driving of the test generation by test patterns formalizing the security properties to test. The expected results of the MBT_Sec project relate to an efficient test generation environment for security components, scalable, and easy-to-use for a validation engineer for this type of components. It will make it possible to exploit the result in the fields of components for security defense, smart cards, online and mobile payment, and in the domain of access control software components. This represents an important potential market for the innovation induced by the project, in a field where test design is still mainly manual, costly, and unsystematic. The MBT_Sec project is a partnership between: - Smartesting, software editor, a company specialized on automated test generation techniques; - The FEMTO-ST Institute, research laboratory ranked A+ involving researchers from the computer science department, also members of the INRIA CASSIS project. The DGA MI/SSI, department ""Analysis and development of Security Software"" takes part to project for the experimentation and the validation of the results."


Do the share buttons not appear? Please make sure, any blocking addon is disabled, and then reload the page.

Content report
No reports available
Funder report
No option selected

Do you wish to download a CSV file? Note that this process may take a while.

There was an error in csv downloading. Please try again later.