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