基于PAT的使用控制模型的形式化规约与安全性分析
周从华,陈伟鹤,刘志锋
Formal specification and security verification of usage control model based on PAT
Cong-hua ZHOU,Wei-he CHEN,Zhi-feng LIU
网络与信息安全学报 . 2016, (3): 52 -67 .  DOI: 10.11959/j.issn.2909-109x.2016.00038