@inproceedings{edae68aad717451dae8dcf7b34d9bc36,
title = "Paradigm in verification of access control",
author = "Hwang, \{Jee Hyun\} and Vincent Hu and Tao Xie",
year = "2012",
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",
pages = "193",
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",
}