Danilo Valeros Bernardo, Doan B. Hoang. Symbolic Analysis of the Proposed UDT Security Architecture. In Leonard Barolli, Tomoya Enokido, Fatos Xhafa, Makoto Takizawa, editors, 26th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26-29, 2012. pages 171-176, IEEE, 2012. [doi]
@inproceedings{BernardoH12a,
title = {Symbolic Analysis of the Proposed UDT Security Architecture},
author = {Danilo Valeros Bernardo and Doan B. Hoang},
year = {2012},
doi = {10.1109/WAINA.2012.154},
url = {http://doi.ieeecomputersociety.org/10.1109/WAINA.2012.154},
researchr = {https://researchr.org/publication/BernardoH12a},
cites = {0},
citedby = {0},
pages = {171-176},
booktitle = {26th International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26-29, 2012},
editor = {Leonard Barolli and Tomoya Enokido and Fatos Xhafa and Makoto Takizawa},
publisher = {IEEE},
isbn = {978-1-4673-0867-0},
}