Security Rules versus Security Properties
M Jaume - … Systems Security: 6th International Conference, ICISS …, 2010 - Springer
There exist many approaches to specify and to define security policies. We present here a
framework in which the basic components of security policies can be expressed, and we …
framework in which the basic components of security policies can be expressed, and we …
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 …