Table of Contents
ISRN Sensor Networks
Volume 2014 (2014), Article ID 891467, 20 pages
http://dx.doi.org/10.1155/2014/891467
Research Article

On Formal and Automatic Security Verification of WSN Transport Protocols

1Laboratory of Cryptography and Systems Security (CrySyS), Budapest University of Technology and Economics, Budapest 1117, Hungary
2MTA-BME Information Systems Research Group, Magyar tudósok körútja 2, Budapest 1117, Hungary
3Computer Science Department, College of Management Academic Studies, 7 Yitzhak Rabin Boulevard, 75190 Rishon LeZion, Israel

Received 21 October 2013; Accepted 17 December 2013; Published 4 March 2014

Academic Editors: J. Li, S. Srinivasan, and Y. Yu

Copyright © 2014 Vinh Thong Ta et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Vinh Thong Ta, Levente Buttyán, and Amit Dvir, “On Formal and Automatic Security Verification of WSN Transport Protocols,” ISRN Sensor Networks, vol. 2014, Article ID 891467, 20 pages, 2014. doi:10.1155/2014/891467