Annalisa Bossi Carla Piazza Sabina Rossi Compositional information flow security for concurrent programs. 373-416 2007 15 Journal of Computer Security 3 http://iospress.metapress.com/openurl.asp?genre=article&issn=0926-227X&volume=15&issue=3&spage=373 db/journals/jcs/jcs15.html#BossiPR07