LitroACP: A Lightweight and Robust Framework for Extracting Access Control Policies from Specifications.

Yanqiu Zhang, Zhen Xu, Dongdong Huo, Xiaokun Guo, Qihui Zhou, Yu Wang

Browse the full CaiSE paper archive.