Dvir, Amit, Ta, Vinh Thong ORCID: 0000-0003-0399-9633, Erlich, Sefi and Buttyan, Levente
(2018)
STWSN: A novel secure distributed transport protocol for wireless sensor networks.
International Journal of Communication Systems, 31
(18).
e3827.
ISSN 1074-5351
Ta, Vinh Thong ORCID: 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