Model-checking access control policies

Dimitar Guelev, Mark Ryan, P-Y Schobbens, K Zhang, Y Zheng

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages219-230
Number of pages12
DOIs
Publication statusPublished - 1 Jan 2004
EventProceedings of 7th Information Security Conference (ISC '04) -
Duration: 1 Jan 2004 → …

Conference

ConferenceProceedings of 7th Information Security Conference (ISC '04)
Period1/01/04 → …

Cite this