Model-checking access control policies

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

Research output: Contribution to conference (unpublished) › Paper

Original language	English
Pages	219-230
Number of pages	12
DOIs	https://doi.org/10.1007/b100936
Publication status	Published - 1 Jan 2004
Event	Proceedings of 7th Information Security Conference (ISC '04) - Duration: 1 Jan 2004 → …

Conference	Proceedings of 7th Information Security Conference (ISC '04)
Period	1/01/04 → …

Access to Document

@conference{efb13918dccf4aaca0010839e0a321e2,

title = "Model-checking access control policies",

author = "Dimitar Guelev and Mark Ryan and P-Y Schobbens and K Zhang and Y Zheng",

year = "2004",

month = jan,

day = "1",

doi = "10.1007/b100936",

language = "English",

pages = "219--230",

note = "Proceedings of 7th Information Security Conference (ISC '04) ; Conference date: 01-01-2004",

}