JeeHyun Hwang, Vincent C. Hu, Tao Xie. Paradigm in Verification of Access Control. In Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume. pages 193, IEEE, 2012. [doi]
@inproceedings{HwangHX12,
title = {Paradigm in Verification of Access Control},
author = {JeeHyun Hwang and Vincent C. Hu and Tao Xie},
year = {2012},
doi = {10.1109/SERE-C.2012.14},
url = {http://dx.doi.org/10.1109/SERE-C.2012.14},
researchr = {https://researchr.org/publication/HwangHX12},
cites = {0},
citedby = {0},
pages = {193},
booktitle = {Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume},
publisher = {IEEE},
isbn = {978-0-7695-4743-5},
}