LEOPARD: Accelerating Cloud-based Access Control Policy Verification Using Logical Encoding Optimization.

Xing Fang, Feiyan Ding, Mingyuan Song, Yuntao Zhao, Lizhao You, Qiao Xiang, Linghe Kong, Jiwu Shu, Xue (Steve) Liu

Browse the full IWQoS paper archive.