Virgil D. Gligor Architectures for practical security. 161-162 2010 SACMAT http://doi.acm.org/10.1145/1809842.1809845 conf/sacmat/2010 db/conf/sacmat/sacmat2010.html#Gligor10