Factoring High Level Information Flow Specifications into Low Level Access Controls. - Kevin Kahley; Manigandan Radhakrishnan; Jon A. Solworth (IWIA, 2006)