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
Abstract
Available in
Date
October 1, 2008
Authors
Publisher
Institute of Electrical and Electronics Engineers (IEEE)