Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

13 résultats
Page :
triés par
Image document

Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité

 Tony Bourdier
Logique en informatique [cs.LO]. Université Henri Poincaré - Nancy I, 2011. Français. ⟨NNT : ⟩
Thèse tel-00646401v1

Rule-based Specification and Analysis of Security Policies

 Tony Bourdier , Horatiu Cirstea , Mathieu Jaume , Hélène Kirchner
5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Jun 2010, Valencia, Spain
Communication dans un congrès inria-00552221v1

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
15ème conférence internationale sur l'Extraction et la Gestion des Connaissances, Jan 2015, Luxembourg, Luxembourg
Communication dans un congrès hal-01183810v1

Specification, analysis and transformation of security policies via rewriting techniques

 Tony Bourdier
Journal of Information Assurance and Security, 2011, 6 (5), pp.357-368
Article dans une revue inria-00525761v1
Image document

Constrained rewriting in recognizable theories

 Tony Bourdier , Horatiu Cirstea
2010
Pré-publication, Document de travail inria-00456848v2
Image document

Formal Specification and Validation of Security Policies

 Tony Bourdier , Horatiu Cirstea , Mathieu Jaume , Hélène Kirchner
FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, May 2011, Paris, France. pp.148-163, ⟨10.1007/978-3-642-27901-0_12⟩
Communication dans un congrès inria-00507300v2

Extensional and Intensional Strategies

 Tony Bourdier , Horatiu Cirstea , Daniel J. Dougherty , Hélène Kirchner
Electronic Proceedings in Theoretical Computer Science, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. ⟨10.4204/EPTCS.15.1⟩
Article dans une revue inria-00494636v1
Image document

Tree automata based semantics of firewalls

 Tony Bourdier
6th International Conference on Network Architectures and Information Systems Security, 2011, La Rochelle, France. pp.171--178, ⟨10.1109/SAR-SSI.2011.5931363⟩
Communication dans un congrès inria-00460462v3

Mathématiques et Histoire de l'art

 Tony Bourdier , Sandra Mellot
Pourquoi les Mathématiques?, Ellipses Marketing, 2015, 978-2-340-00548-8
Chapitre d'ouvrage hal-01183188v1
Image document

Symbolic analysis of network security policies using rewrite systems

 Tony Bourdier , Horatiu Cirstea
Symposium on Principles and Practices of Declarative Programming, Jul 2011, Odense, Denmark. pp.77-88, ⟨10.1145/2003476.2003489⟩
Communication dans un congrès inria-00567858v2
Image document

On Formal Specification and Analysis of Security Policies

 Tony Bourdier , Horatiu Cirstea , Mathieu Jaume , Hélène Kirchner
2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
Communication dans un congrès inria-00429240v3

Analysis of Lattice-Based Access Control Policies using Rewiting Systems and Tom.

 Tony Bourdier , Horatiu Cirstea , Pierre-Etienne Moreau , Anderson Santana de Oliveira
1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg city, Luxembourg. pp.33-40
Communication dans un congrès inria-00433424v1
Image document

Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité

 Tony Bourdier
Autre [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10096⟩
Thèse tel-01746242v1
Page :