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]
Abstract is missing.