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]
@inproceedings{BernardoH12,
title = {Compositional Logic for Proof of Correctness of Proposed UDT Security Mechanisms},
author = {Danilo Valeros Bernardo and Doan B. Hoang},
year = {2012},
doi = {10.1109/AINA.2012.45},
url = {http://doi.ieeecomputersociety.org/10.1109/AINA.2012.45},
researchr = {https://researchr.org/publication/BernardoH12},
cites = {0},
citedby = {0},
pages = {686-694},
booktitle = {IEEE 26th International Conference on Advanced Information Networking and Applications, AINA, 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-0714-7},
}