Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}