ACM Transactions on Information and System Security (TISSEC): Volume 11 Issue 4, July 2008
Citation Count: 18
Downloads (6 Weeks): 5, Downloads (12 Months): 31, Downloads (Overall): 903
Full text available:
A policy describes the conditions under which an action is permitted or forbidden. We show that a fragment of (multi-sorted) first-order logic can be used to represent and reason about policies. Because we use first-order logic, policies have a clear syntax and semantics. We show that further restricting the fragment ...
Digital rights management