Tony Bourdier. Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité. (Algebraic methods for designing and analyzing security policies). PhD thesis, Henri Poincaré University, Nancy, France, 2011. [doi]
Abstract is missing.