Mark S. Miller Jonathan S. Shapiro Paradigm Regained: Abstraction Mechanisms for Access Control. 224-242 http://dx.doi.org/10.1007/978-3-540-40965-6_15 2003 conf/asian/2003 ASIAN db/conf/asian/asian2003.html#MillerS03