@inproceedings{gofman09rbacpat,
author = "Mikhail I. Gofman and Ruiqi Luo and Ayla C. Solomon and Yingbin Zhang and Ping Yang and Scott D. Stoller",
title = "RBAC-PAT: A Policy Analysis Tool for Role Based Access Control",
booktitle = "Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)",
year = 2009,
publisher="Springer-Verlag",
series=LNCS,
volume=5505,
pages="46-49"
}