Jie Zhou Jim Alves-Foss Security policy refinement and enforcement for the design of multi-level secure systems. 107-131 2008 16 Journal of Computer Security 2 http://iospress.metapress.com/content/7931121821xt62rw/ db/journals/jcs/jcs16.html#ZhouA08