Tony Bourdier

	2011
3		Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner: Formal Specification and Validation of Security Policies. FPS 2011: 148-163
2		Tony Bourdier, Horatiu Cirstea: Symbolic analysis of network security policies using rewrite systems. PPDP 2011: 77-88
	2009
1		Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner: Extensional and Intensional Strategies WRS 2009: 1-19

Coauthor Index

1	Horatiu Cirstea	[1] [2] [3]
2	Daniel J. Dougherty	[1]
3	Mathieu Jaume	[3]
4	Hélène Kirchner	[1] [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page