Information Flow Testing

Gurvan Le Guernic 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
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.
Type de document :
Communication dans un congrès
Cervesato, Iliano. Annual Asian Computing Science Conference, Dec 2007, Doha, Qatar. Springer, 4846, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-76929-3_4〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00198595
Contributeur : Gurvan Le Guernic <>
Soumis le : lundi 17 décembre 2007 - 15:56:33
Dernière modification le : vendredi 13 janvier 2017 - 14:16:40
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 11:36:00

Fichier

noninterferenceTesting.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Gurvan Le Guernic. Information Flow Testing. Cervesato, Iliano. Annual Asian Computing Science Conference, Dec 2007, Doha, Qatar. Springer, 4846, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-76929-3_4〉. 〈inria-00198595〉

Partager

Métriques

Consultations de
la notice

199

Téléchargements du document

347