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: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2012
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2012PEST1089/document |