Number of documents

6

Claude Kirchner


"Anderson Santana de Oliveira"   

Journal articles1 document

  • Claude Kirchner, Helene Kirchner, Anderson Santana de Oliveira. Analysis of Rewrite-Based Access Control Policies. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp.55-75. ⟨10.1016/j.entcs.2009.02.072⟩. ⟨inria-00433409⟩

Conference papers5 documents

  • Anderson Santana de Oliveira, Claude Kirchner, Hélène Kirchner. Analysis of Rewrite-Based Access Control Policies. 3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States. ⟨inria-00335088⟩
  • Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Modular Access Control via Strategic Rewriting. 12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. pp.578-593, ⟨10.1007/978-3-540-74835-9_38⟩. ⟨inria-00185697⟩
  • Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner. Weaving Rewrite-Based Access Control Policies. The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States. ⟨inria-00185710⟩
  • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau, Anderson Santana de Oliveira. Modular Formal Islands: Embed theory in your practice. Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France. ⟨inria-00001186⟩
  • Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Anchoring modularity in HTML.. 1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151. ⟨inria-00000750⟩