Danilo Valeros Bernardo, Doan B. Hoang. Compositional Logic for Proof of Correctness of Proposed UDT Security Mechanisms. In Leonard Barolli, Tomoya Enokido, Fatos Xhafa, Makoto Takizawa, editors, IEEE 26th International Conference on Advanced Information Networking and Applications, AINA, 2012 , Fukuoka, Japan, March 26-29, 2012. pages 686-694, IEEE, 2012. [doi]
Abstract is missing.