Skip to main content

Publication

Formal verification of a key agreement protocol for wireless sensor networks
Li, Y.;Chen, D.;Newe, T.;
(2012)
Formal verification of a key agreement protocol for wireless sensor networks in 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 10.1109/TrustCom.2012.163