Anshu Yadav, Anish Mathuria. Towards Formal Analysis of Key Control in Group Key Agreement Protocols. In Andrey Bogdanov, Somitra Kumar Sanadhya, editors, Security, Privacy, and Applied Cryptography Engineering - Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings. Volume 7644 of Lecture Notes in Computer Science, pages 77-93, Springer, 2012. [doi]
Abstract is missing.