Model-checking access control policies

Dimitar Guelev, Mark Ryan, Pierre-Yves Schobbens

Résultats de recherche: Contribution à un journal/une revueArticle

langue originaleAnglais
Pages (de - à)219-230
Nombre de pages12
journalProc. 7th International Conference on Information Security (ISC 2004)
Volume3225
Etat de la publicationPublié - 2004

Contient cette citation