Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Georges Debois"'
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
