Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Jean-Chritophe Plessis"'
Publikováno v:
A-MOST
This paper is a contribution to the problem of getting confident in the fact that an implementation correctly meets a security policy assigned to it. To do so, we compute tests that exercise security properties issued from the security policy. We pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::889083c2ddb6a603cc39d03c6009a5cf
https://doi.org/10.1145/1291535.1291537
https://doi.org/10.1145/1291535.1291537
Autor:
Masson, Pierre-Alain, Julliand, Jacques, Plessis, Jean-Chritophe, Jaffuel, Eddie, Debois, Georges
Publikováno v:
Proceedings of the 3rd International Workshop: Advances in Model-based Testing; 7/ 9/2007, p12-22, 11p