%0 Conference Paper %1 conf/iccsama/ThongDB14 %A Thong, Ta Vinh %A Dvir, Amit %A Buttyán, Levente %B ICCSAMA %D 2014 %E Do, Tien Van %E Thi, Hoai An Le %E Nguyen, Ngoc Thanh %I Springer %K dblp %P 389-403 %T Formal Security Verification of Transport Protocols for Wireless Sensor Networks. %U http://dblp.uni-trier.de/db/conf/iccsama/iccsama2014.html#ThongDB14 %V 282 %@ 978-3-319-06568-7

@inproceedings{conf/iccsama/ThongDB14, added-at = {2023-07-25T00:00:00.000+0200}, author = {Thong, Ta Vinh and Dvir, Amit and Buttyán, Levente}, biburl = {https://www.bibsonomy.org/bibtex/23b9500a70c5a5449c81b36cccfa61d94/dblp}, booktitle = {ICCSAMA}, crossref = {conf/iccsama/2014}, editor = {Do, Tien Van and Thi, Hoai An Le and Nguyen, Ngoc Thanh}, ee = {https://doi.org/10.1007/978-3-319-06569-4_29}, interhash = {d14ae7d254ce644a75c2a2305834e58a}, intrahash = {3b9500a70c5a5449c81b36cccfa61d94}, isbn = {978-3-319-06568-7}, keywords = {dblp}, pages = {389-403}, publisher = {Springer}, series = {Advances in Intelligent Systems and Computing}, timestamp = {2024-04-09T09:33:10.000+0200}, title = {Formal Security Verification of Transport Protocols for Wireless Sensor Networks.}, url = {http://dblp.uni-trier.de/db/conf/iccsama/iccsama2014.html#ThongDB14}, volume = 282, year = 2014 }