Accéder directement au contenu

Claude Kirchner

5
Documents
Identifiants chercheurs

Présentation

Publications

831062

Analysis of Rewrite-Based Access Control Policies

 Anderson Santana de Oliveira , Claude Kirchner , Hélène Kirchner
3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States
Communication dans un congrès inria-00335088v1

Weaving Rewrite-Based Access Control Policies

 Anderson Santana de Oliveira , Eric Ke Wang , Claude Kirchner , Hélène Kirchner
The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States
Communication dans un congrès inria-00185710v1

Modular Access Control via Strategic Rewriting

 Daniel J. Dougherty , Claude Kirchner , Hélène Kirchner , Anderson Santana de Oliveira
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⟩
Communication dans un congrès inria-00185697v1
Image document

Modular Formal Islands: Embed theory in your practice

 Emilie Balland , Claude Kirchner , Pierre-Etienne Moreau , Anderson Santana de Oliveira
Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
Communication dans un congrès inria-00001186v1
Image document

Anchoring modularity in HTML.

 Claude Kirchner , Hélène Kirchner , Anderson Santana de Oliveira
1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151
Communication dans un congrès inria-00000750v1