Cinzia Bernardeschi Nicoletta De Francesco Giuseppe Lettieri Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs. 81-98 2004 60 Fundam. Inform. 1-4 http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=81 db/journals/fuin/fuin60.html#BernardeschiFL04