Formal Security Verification of Transport Protocols for Wireless Sensor Networks

Ta, Vinh Thong orcid iconORCID: 0000-0003-0399-9633, Dvir, Amit and Buttyan, Levente (2014) Formal Security Verification of Transport Protocols for Wireless Sensor Networks. In: Advanced Computational Methods for Knowledge Engineering. Advances in Intelligent Systems and Computing. Advances in Intelligent Systems and Computing book series, 282 . Springer, Cham. ISBN 978-3-319-06568-7

[thumbnail of Version of Record] PDF (Version of Record) - Published Version
Restricted to Repository staff only
Available under License Creative Commons Attribution Non-commercial No Derivatives.


Official URL:


In this paper, we address the problem of formal security verification of transport protocols for wireless sensor networks (WSN) that perform cryptographic operations. Analyzing this class of protocols is a difficult task because they typically consist of complex behavioral characteristics, such as launching timers, performing probabilistic behavior, and cryptographic operations. Some of the recently published WSN transport protocols are DTSN, which does not include cryptographic security mechanism, and two of its secured versions, SDTP and STWSN. In our previous work, we formally analyzed the security of Distributed Transport for Sensor Networks (DTSN) and Distributed Transport Protocol for Wireless Sensor Networks (SDTP), and showed that they are vulnerable against packet modification attacks. In another work we proposed a new Secure Transport Protocol for WSNs (STWSN), with the goal of eliminating the vulnerability of DTSN and SDTP, however, its security properties have only been informally argued. In this paper, we apply formal method to analyze the security of STWSN.

Repository Staff Only: item control page