Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Eddie Jaffuel"'
Publikováno v:
Journal of Signal Processing Systems. 83:113-128
The Software Communications Architecture (SCA) is a software architecture provided and published by the Joint Tactical Networking Center (JTNC). Facing the multiplicity of the waveforms and the diversity of the platform architectures and form factors
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fed77d147fa9d2d13a9c9e79f1adcae0
https://doi.org/10.1007/s11265-015-1089-y
https://doi.org/10.1007/s11265-015-1089-y
Publikováno v:
ISSRE Workshops
Compliance testing is done to determine whether a system meets a specified standard prescribed by a given authority. One key goal of compliance testing is to ensure interoperability between systems, on the basis of agreed norms and standards, while a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10555a7477fac1d5f60836d755cfe6c0
https://doi.org/10.1109/issrew.2014.91
https://doi.org/10.1109/issrew.2014.91
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:
Eddie Jaffuel
Publikováno v:
B 2007: Formal Specification and Development in B ISBN: 9783540687603
Automated test generation from B abstract machines is commonly used in the smart card industry since 2003. Several domains are concerned such as mobile communication applications (e.g. SIM cards) [1], identity applications (e.g. health cards or ident
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6528d9056c8315646fcfcf9e30652e49
https://doi.org/10.1007/11955757_2
https://doi.org/10.1007/11955757_2
