Filtrer vos résultats
- 7
- 6
- 7
- 2
- 2
- 1
- 1
- 12
- 2
- 2
- 2
- 1
- 5
- 4
- 1
- 9
- 4
- 11
- 10
- 4
- 3
- 2
- 1
- 13
- 5
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
13 résultats
|
|
triés par
|
|
Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité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 Policies5th 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 navigation15è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 techniquesJournal of Information Assurance and Security, 2011, 6 (5), pp.357-368
Article dans une revue
inria-00525761v1
|
|||
|
Constrained rewriting in recognizable theories2010
Pré-publication, Document de travail
inria-00456848v2
|
||
|
Formal Specification and Validation of Security PoliciesFPS - 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 StrategiesElectronic 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
|
||
|
Tree automata based semantics of firewalls6th 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'artPourquoi les Mathématiques?, Ellipses Marketing, 2015, 978-2-340-00548-8
Chapitre d'ouvrage
hal-01183188v1
|
|||
|
Symbolic analysis of network security policies using rewrite systemsSymposium 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
|
||
|
On Formal Specification and Analysis of Security Policies2010 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.1st Luxembourg Day on Security and Reliability, Feb 2009, Luxembourg city, Luxembourg. pp.33-40
Communication dans un congrès
inria-00433424v1
|
|||
|
Méthodes algébriques pour la formalisation et l'analyse de politiques de sécuritéAutre [cs.OH]. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10096⟩
Thèse
tel-01746242v1
|