Security in Wireless Sensor Networks: A formal verification of protocols | IEEE Conference Publication | IEEE Xplore