@inproceedings{edae68aad717451dae8dcf7b34d9bc36,
title = "Paradigm in verification of access control",
author = "Hwang, {Jee Hyun} and Vincent Hu and Tao Xie",
year = "2012",
month = oct,
day = "5",
doi = "10.1109/SERE-C.2012.14",
language = "English (US)",
isbn = "9780769547435",
series = "Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012",
booktitle = "Proceedings of the 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012",
note = "2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012 ; Conference date: 20-06-2012 Through 22-06-2012",
}