Jianfeng Lu, Ruixuan Li, Zhengding Lu, Jinwei Hu, Xiaopu Ma: Specification and Enforcement of Static Separation-of-Duty Policies in Usage Control. ISC 2009: 403-410