Jan Jürjens Secure Information Flow for Concurrent Processes. 395-409 http://dx.doi.org/10.1007/3-540-44618-4_29 2000 conf/concur/2000 CONCUR db/conf/concur/concur2000.html#Jurjens00