[IEEE 2008 Annual Computer Security Applications Conference (ACSAC) - Anaheim, CA, USA (2008.12.8-2008.12.12)] 2008 Annual Computer Security Applications Conference (ACSAC) - Assessing Quality of Policy Properties in Verification of Access Control Policies
Martin, Evan; Hwang, JeeHyun; Xie, Tao; Hu, Vincent
- 作者Martin, Evan; Hwang, JeeHyun; Xie, Tao; Hu, Vincent
- 文件大小459.00KB
- 发表时间2008
- DOI10.1109/ACSAC.2008.48
- 页码163-172