[ACM Press the 2007 ACM workshop - Fairfax, Virginia, USA (2007.11.02-2007.11.02)] Proceedings of the 2007 ACM workshop on Formal methods in security engineering - FMSE '07 - A simple and expressive semantic framework for policy composition in access control
Bruns, Glenn; Dantas, Daniel S; Huth, Michael
- 作者Bruns, Glenn; Dantas, Daniel S; Huth, Michael
- 文件大小352.32KB
- 发表时间2007
- DOI10.1145/1314436.1314439
- 页码12-21