Tony Bourdier

According to our database, Tony Bourdier authored at least 5 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Une nouvelle méthode de Web Usage Mining basée sur une analyse sémiotique du comportement de navigation.

Sandra Mellot, Tony Bourdier, Moez Baccouche

Proceedings of the 15èmes Journées Francophones Extraction et Gestion des Connaissances, 2015

2011

Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité. (Algebraic methods for designing and analyzing security policies).

Tony Bourdier

PhD thesis, 2011

Symbolic analysis of network security policies using rewrite systems.

Tony Bourdier, Horatiu Cirstea

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Formal Specification and Validation of Security Policies.

Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner

Proceedings of the Foundations and Practice of Security, 2011

2009

Extensional and Intensional Strategies

Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009