Information flow in secure contexts

Annalisa Bossi, Damiano Macedonio, Carla Piazza, Sabina Rossi. Information flow in secure contexts. Journal of Computer Security, 13(3):391-422, 2005. [doi]