Model-checking access control policies

Dimitar Guelev, Mark Ryan, Pierre-Yves Schobbens

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)219-230
Number of pages12
JournalProc. 7th International Conference on Information Security (ISC 2004)
Volume3225
Publication statusPublished - 2004

Cite this