D. Bruno and M. Leonardo-de, The Yices SMT solver . SRI International, 2006.

E. Donald and . Porter, Practical Fine-Grained Information Flow Control Using Laminar, In : ACM Transactions on Programming Languages and Systems, vol.37, issue.1, pp.1-51

T. Coq and . Team, The Coq Proof Assistant Reference Manual. 14 déc, 2016.
URL : https://hal.archives-ouvertes.fr/inria-00069919

W. Chris, Linux Security Modules : General Security Support for the Linux Kernel, USENIX Security Symposium, pp.17-31, 2002.

Z. Jacob, Détection d'intrusions paramétrée par la politique par contrôle de flux de références, Thèse de doct, 2003.