]
]
]
]
Publication
Model-checking access control policies
| Auteur(s) | Dimitar GUELEV, Mark RYAN, Pierre-Yves SCHOBBENS |
| Unité(s) de recherche(s) |
Pôle réseaux et sécurité
Pôle sémantique, logique et calcul |
| Année | 2004 |
| Type | Articles de périodique |
| Langue | Anglais |
| Mots clés | |
| Résumé | |
| Versions électroniques |
Article de périodique
| Titre du périodique | Proc. 7th International Conference on Information Security (ISC 2004) |
| Sous-titre du périodique | |
| Editeur scientifique | Kan Zhang and Yuliang Zheng |
| Volume | 3225 |
| Fascicule | |
| Pages | 219 - 230 |
| Date de parution | |
| Facteur d'impact | |
| Nombre de citations |
