Towards Automated Privilege Separation. - Dhananjay Bapat; Kevin R. B. Butler; Patrick D. McDaniel (ICISS, 2007)