Formal verification of a key agreement protocol for wireless sensor networks

Proc. Of The 11th Ieee Int. Conference On Trust, Security And Privacy In Computing And Communications, Trustcom-2012 - 11th Ieee Int. Conference On Ubiquitous Computing And Communications, Iucc-2012