Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net | IEEE Conference Publication | IEEE Xplore