Information Flow Testing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Information Flow Testing

Abstract

Noninterference, which is an information flow property, is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. Noninterference verification mechanisms are usually based on static analyses and, to a lesser extent, on dynamic analyses. In contrast to those works, this paper proposes an information flow testing mechanism. This mechanism is sound from the point of view of noninterference. It is based on standard testing techniques and on a combination of dynamic and static analyses. Concretely, a semantics integrating a dynamic information flow analysis is proposed. This analysis makes use of static analyses results. This special semantics is built such that, once a path coverage property has been achieved on a program, a sound conclusion regarding the noninterfering behavior of the program can be established.
Fichier principal
Vignette du fichier
noninterferenceTesting.pdf (183.13 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00198595 , version 1 (17-12-2007)

Identifiers

Cite

Gurvan Le Guernic. Information Flow Testing. Annual Asian Computing Science Conference, Carnegie Mellon University Qatar Campus, Dec 2007, Doha, Qatar. ⟨10.1007/978-3-540-76929-3_4⟩. ⟨inria-00198595⟩
76 View
426 Download

Altmetric

Share

Gmail Facebook X LinkedIn More