Wojciech Jamroga, Matthijs Melissen, Henning Schnoor. Defendable Security in Interaction Protocols. In Guido Boella, Edith Elkind, Bastin Tony Roy Savarimuthu, Frank Dignum, Martin K. Purvis, editors, PRIMA 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Volume 8291 of Lecture Notes in Computer Science, pages 132-148, Springer, 2013. [doi]
Abstract is missing.