Formal specification and validation of security policies
T Bourdier, H Cirstea, M Jaume, H Kirchner - Foundations and Practice of …, 2012 - Springer
We propose a formal framework for the specification and validation of security policies. To
model a secured system, the evolution of security information in the system is described by …
model a secured system, the evolution of security information in the system is described by …
Méthodes algébriques pour la formalisation et l'analyse de politiques de sécurité
T Bourdier - 2011 - theses.hal.science
Concevoir et mettre en œuvre des méthodes pour la spécification, l'analyse et la vérification
de logiciels et de systèmes sont les principaux moteurs des activités de recherche …
de logiciels et de systèmes sont les principaux moteurs des activités de recherche …