Yee Wei Law, Ricardo Corin, Sandro Etalle, Pieter H. Hartel. A Formally Verified Decentralized Key Management Architecture for Wireless Sensor Networks. In Marco Conti, Silvia Giordano, Enrico Gregori, Stephan Olariu, editors, Personal Wireless Communications, IFIP-TC6 8th International Conference, PWC 2003, Venice, Italy, September 23-25, 2003, Proceedings. Volume 2775 of Lecture Notes in Computer Science, pages 27-39, Springer, 2003. [doi]
Abstract is missing.