Formal Proof of the Security Protocol in Wireless Sensor Network Based on the Petri Net.

Yingjiu Guo, Xuemei Liu, Xiufeng Shao

Browse the full CIS paper archive.