Naoki Kobayashi Type-based information flow analysis for the pi-calculus. 291-347 2005 42 Acta Inf. 4-5 http://dx.doi.org/10.1007/s00236-005-0179-x db/journals/acta/acta42.html#Kobayashi05