SAT-based Verification of Data-Independent Access Control Security Systems
Chen, Yean-Ru, Yao, Jui-Lung, Lin, Chih-Sheng, Lin, Shang-Wei, Huang, Chun-Hsian, Hu, Ya-Ping, Hsiung, Pao-Ann, Chen, Sao-Jie, Chou, I-Hsin
Published in Proceedings of the International Conference on Security and Management (SAM) (01.01.2011)
Get full text
Published in Proceedings of the International Conference on Security and Management (SAM) (01.01.2011)
Conference Proceeding