On Formal and Automatic Security Verification of WSN Transport Protocols
Ta, Vinh Thong, Buttyán, Levente, Dvir, AmitVolume:
2014
Year:
2014
Language:
english
Journal:
ISRN Sensor Networks
DOI:
10.1155/2014/891467
File:
PDF, 603 KB
english, 2014