Réécriture et Modularité pour les Politiques de Sécurité. (Term Rewriting and Modularity for Security Policies)

Anderson Santana de Oliveira. Réécriture et Modularité pour les Politiques de Sécurité. (Term Rewriting and Modularity for Security Policies). PhD thesis, Henri Poincaré University, Nancy, France, 2008. [doi]

Abstract

Abstract is missing.