Towards Formal Verification of Role-Based Access Control Policies
IEEE Transactions on Dependable and Secure Computing - United States
doi 10.1109/tdsc.2007.70225
Full Text
Open PDFAbstract
Available in full text
Date
October 1, 2008
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)