Ta Vinh Thong, Amit Dvir, Levente Buttyán. Formal Security Verification of Transport Protocols for Wireless Sensor Networks. In ICCSAMA. pages 389-403, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.