Maria-Camilla Fiazza, Michele Peroli, Luca Viganò. Security protocols as environments: A lesson from non-collaboration. In Dimitrios Georgakopoulos, James B. D. Joshi, editors, 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing, CollaborateCom 2011, Orlando, FL, USA, 15-18 October, 2011. pages 479-486, IEEE, 2011. [doi]
Abstract is missing.