Michele Bugliesi Dario Colazzo Silvia Crafa Damiano Macedonio A type system for Discretionary Access Control. 839-875 2009 19 Mathematical Structures in Computer Science 4 http://dx.doi.org/10.1017/S0960129509007762 db/journals/mscs/mscs19.html#BugliesiCCM09