Modélisation de politiques de sécurité à l'aide de méthode de spécifications formelles
Le contrôle d'accès permet de spécifier une partie de la politique de sécurité d'un SI (système d'informations). Une politique de CA (Contrôle d'accès) permet de définir qui a accès à quoi et sous quelles conditions. Les concepts fondamentaux utilisés en CA sont : les permissions...
| Main Author: | |
|---|---|
| Language: | fra |
| Published: |
Université Paris-Est
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00786926 http://tel.archives-ouvertes.fr/docs/00/78/69/26/PDF/TH2012PEST1089_complete.pdf |