Compositional Logic for Proof of Correctness of Proposed UDT Security Mechanisms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Danilo Valeros Bernardo' in GoogleThis author has not been identified. Look up 'Doan B. Hoang' in Google

runs on WebDSL