Silvia Crafa Sabina Rossi A Theory of Noninterference for the pi-Calculus. 2-18 2005 conf/tgc/2005 TGC http://dx.doi.org/10.1007/11580850_2 db/conf/tgc/tgc2005.html#CrafaR05