Maria-Camilla Fiazza, Michele Peroli, Luca Viganò. An environmental paradigm for defending security protocols. In Waleed W. Smari, Geoffrey Charles Fox, editors, 2012 International Conference on Collaboration Technologies and Systems, CTS 2012, Denver, CO, USA, May 21-25, 2012. pages 427-438, IEEE, 2012. [doi]