Mi Wen, Jingsheng Lei, Zhong Tang, Xiuxia Tian, Kefei Chen, Weidong Qiu. A Verified Group Key Agreement Protocol for Resource-Constrained Sensor Networks. In Wenyin Liu, Xiangfeng Luo, Fu Lee Wang, Jingsheng Lei, editors, Web Information Systems and Mining, International Conference, WISM 2009, Shanghai, China, November 7-8, 2009. Proceedings. Volume 5854 of Lecture Notes in Computer Science, pages 413-425, Springer, 2009. [doi]
Abstract is missing.