Researcher identifiers

Number of documents

1

Claude Kirchner


"Eric Ke Wang"    Hélène Kirchner   

Conference papers1 document

  • 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⟩