S. Blazy and X. Leroy, Mechanized Semantics for the Clight Subset of the C Language, Journal of Automated Reasoning, vol.29, issue.6, p.263288, 2009.
DOI : 10.1007/s10817-009-9148-3

URL : https://hal.archives-ouvertes.fr/inria-00352524

J. Anthony, M. Bonner, and . Kifer, Transaction Logic Programming, Proceedings of the International Conference on Logic Programming, p.257279, 1993.

J. Anthony, M. Bonner, and . Kifer, Transaction Logic Programming (or, A Logic of Procedural and Declarative Knowledge) Rapport technique CSRI-323, 1995.

J. Anthony, M. Bonner, and . Kifer, Concurrency and Communication in Transaction Logic, Joint Intl. Conference and Symposium on Logic Programming, p.142156, 1996.

A. Colmerauer-et-philippe-roussel-thomas, J. Bergin, J. Et-richard, G. Gibson, and J. , History of Programming languages II éditeurs : History of Programming languages, chapitre The Birth of Prolog, p.331367, 1996.

W. Enck, P. Gilbert, L. P. Byung-gon-chun, J. Cox, P. Jung et al., TaintDroid : An Information-ow Tracking System for Realtime Privacy Monitoring on Smartphones, Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation, OSDI'10, p.16, 2010.

H. Garavel, F. Lang, R. Mateescu, and W. Serwe, CADP 2010 : A Toolbox for the Construction and Analysis of Distributed Processes Leino, éditeurs : Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, vol.6605, p.372387, 2011.

L. Georget, ALFRED, interpréteur de la logique transactionnelle concurrentielle pour la sémantique des appels système, 2014.

C. Hauser, Détection d'intrusion dans les systèmes distribués par propagation de, 2013.

M. Krohn and E. Tromer, Noninterference for a Practical DIFC-Based Operating System, 2009 30th IEEE Symposium on Security and Privacy, p.6176, 2009.
DOI : 10.1109/SP.2009.23

M. Krohn, A. Yip, M. Brodsky, N. Cliffer, M. F. Kaashoek et al., Information Flow Control for Standard OS Abstractions, SIGOPS Oper. Syst. Rev, vol.41, issue.6, p.321334, 2007.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, II, Information and Computation, vol.100, issue.1, p.177, 1992.
DOI : 10.1016/0890-5401(92)90009-5

T. Murray, D. Matichuk, M. Brassil, P. Gammie, T. Bourke et al., Xin Gao et Gerwin Klein : seL4 : From General Purpose to a Proof of Information Flow Enforcement, Proceedings of the 2013 IEEE Symposium on Security and Privacy, SP '13, p.415429, 2013.

V. A. Nepomniaschy, I. S. Anureev, I. N. Mikhailov, and A. V. Promskii, Towards Verication of C Programs. C-Light Language and Its Formal Semantics, Program. Comput. Softw, vol.28, issue.6, p.314323, 2002.

S. Nikolaos and . Papaspyrou, A formal semantics for the C programming language Doctoral Disseration. National Technical University of Athens, p.15, 1998.

D. Sangiorgi and D. Walker, PI-Calculus : A Theory of Mobile Processes, 2001.

F. Amalia and . Sleghel, An Optimizing Interpreter for Concurrent Transaction Logic, Thèse de doctorat, 2000.

F. Amalia and . Sleghel, An Optimizing Interpreter for Concurrent Transaction Logic, 2000.

M. Zhao and P. Liu, Modeling and checking the security of difc system congurations