Li, Y.;Chen, D.;Newe, T.;

2012

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

Formal verification of a key agreement protocol for wireless sensor networks

Published

()

10.1109/TrustCom.2012.163