Testing access control and obligation policies. - Dianxiang Xu; Michael Sanford; Zhaoliang Liu; Spencer Johnson; Mark Emry; Brad Brockmueller; Michael To (ICNC, 2013)