Mario Bravetti Nadia Busi Roberto Gorrieri Roberto Lucchi Gianluigi Zavattaro Security Issues in the Tuple-Space Coordination Model. 1-12 2004 conf/ifip1-7/2004 Formal Aspects in Security and Trust http://dx.doi.org/10.1007/0-387-24098-5_1 db/conf/ifip1-7/fast2004.html#BravettiBGLZ04