Model checking and analyzing the security protocol for wireless sensor networks | IEEE Conference Publication | IEEE Xplore