Formal Verification of a Key Agreement Protocol for Wireless Sensor Networks.

Yue Li, Dehua Chen, Thomas Newe

Browse the full TrustCom paper archive.