R. Focardi and R. Gorrieri, Classification of security properties (part I: Information flow) Foundations of Security Analysis and Design I: FOSAD 2000 Tutorial Lectures, LNCS, vol.2171, pp.331-396, 2001.

R. Focardi and R. Gorrieri, The Compositional Security Checker: a tool for the verification of information flow security properties, IEEE Transactions on Software Engineering, vol.23, issue.9, pp.550-571, 1997.
DOI : 10.1109/32.629493

R. Focardi, A. Ghelli, and R. Gorrieri, Using non interference for the analysis of security protocols, Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997.

R. Van-der-meyden and C. Zhang, Algorithmic Verification of Noninterference Properties, Proceedings of the Second International Workshop on Views on Designing Complex Architectures, pp.61-75, 2006.
DOI : 10.1016/j.entcs.2006.11.002

D. Souza, D. Raghavendra, K. R. Sprick, and B. , An Automata Based Approach for Verifying Information Flow Properties, Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysison (ARSPA'05), pp.39-58, 2005.
DOI : 10.1016/j.entcs.2005.06.005

A. Sabelfeld and A. Myers, Language-based information-flow security, IEEE Journal on Selected Areas in Communications, vol.21, issue.1, 2003.
DOI : 10.1109/JSAC.2002.806121

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Gardey, J. Mullins, and O. H. Roux, Non-Interference Control Synthesis for Security Timed Automata, Proceedings of the 3rd International Workshop on Security Issues in Concurrency (SecCo'05), pp.35-53, 2005.
DOI : 10.1016/j.entcs.2005.05.046

URL : https://hal.archives-ouvertes.fr/hal-00523598

F. Cassez, J. Mullins, and O. H. Roux, Synthesis of non-interferent systems, Proceedings of the 4th Int. Conf. on Mathematical Methods, Models and Architectures for Computer Network Security (MMM-ACNS'07, pp.307-321, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00363029

R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

O. Finkel, On decision problems for timed automata, Bulletin of the European Association for Theoretical Computer Science, vol.87, pp.185-190, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00111148

O. Maler, A. Pnueli, and J. Sifakis, On the synthesis of discrete controllers for timed systems, proceedings of the 12th Annual Symposium on Theoretical Aspects of Computer Science Munich (STACS '95, pp.229-242, 1995.
DOI : 10.1007/3-540-59042-0_76

D. Souza, D. Madhusudan, and P. , Timed control synthesis for external specifications, proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science Munich (STACS '02, pp.571-582, 2002.

L. J. Stockmeyer and A. R. Meyer, Word problems requiring exponential time(Preliminary Report), Proceedings of the fifth annual ACM symposium on Theory of computing , STOC '73, pp.1-9, 1973.
DOI : 10.1145/800125.804029

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. Henzinger and P. Kopke, Discrete-time control for rectangular hybrid automata, Proceedings of the 24th International Colloquium on Automata, Languages, and Programming (ICALP '97, pp.582-593, 1997.