@inproceedings{2b814d023e8f479da185a840cf2f9003,
title = "A formal model for parameterized role-based access control",
author = "Abdallah, {Ali E.} and Khayat, {Etienne J.}",
year = "2005",
doi = "10.1007/0-387-24098-5_17",
language = "English",
isbn = "0387240500",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer New York",
pages = "233--246",
booktitle = "Formal Aspects in Security and Trust - IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust and World Computer Congress, FAST 2004",
note = "IFIP TC1 WG1.7 2nd International Workshop on Formal Aspects in Security and Trust, FAST 2004 ; Conference date: 22-08-2004 Through 27-08-2004",
}