Michael J. Banks Jeremy L. Jacob Unifying Theories of Confidentiality. 120-136 2010 UTP http://dx.doi.org/10.1007/978-3-642-16690-7_5 conf/utp/2010 db/conf/utp/utp2010.html#BanksJ10a