A Fault Model and Mutation Testing of Access Control Policies 1 ACPT: A Tool for Modeling and Verifying Access Control Policies JeeHyun Hwang1, Tao Xie1, Vincent Hu2 and…