Specifying and enforcing high-level semantic obligation policiesZhen LiuAnand Ranganathanet al.2007POLICY 2007