Annalisa Bossi Damiano Macedonio Carla Piazza Sabina Rossi Information flow in secure contexts. 391-422 2005 13 Journal of Computer Security 3 http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=13&issue=3&spage=391 db/journals/jcs/jcs13.html#BossiMPR05