Formal Verification of a Key Agreement Protocol for Wireless Sensor Networks | IEEE Conference Publication | IEEE Xplore