Tony Bourdier, Horatiu Cirstea, Pierre-Etienne Moreau, Anderson Santana de Oliveira. 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.
⟨inria-00433424⟩