Silvia Crafa Matteo Mio Marino Miculan Carla Piazza Sabina Rossi PicNIc - Pi-calculus non-interference checker. 33-38 2008 ACSD http://dx.doi.org/10.1109/ACSD.2008.4574592 conf/acsd/2008 db/conf/acsd/acsd2008.html#CrafaMMPR08