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. ,
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
Using non interference for the analysis of security protocols, Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997. ,
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
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
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=10.1.1.10.3979
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
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
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
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
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
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. ,
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=10.1.1.116.4618
Discrete-time control for rectangular hybrid automata, Proceedings of the 24th International Colloquium on Automata, Languages, and Programming (ICALP '97, pp.582-593, 1997. ,