Automated Security Policy Feasibility Assessment. - Yunfan Wang; Wenhao Ye; Ning Li; Liurong Pan (CAIBDA, 2023)