Automated Synthesis of Access Control Lists. - Xiao Liu 025; Brett Holden; Dinghao Wu (ICSSA, 2017)