Formal specification and security verification of usage control model based on PAT
Cong-hua ZHOU,Wei-he CHEN,Zhi-feng LIU
Chinese Journal of Network and Information Security . 2016, (3): 52 -67 .  DOI: 10.11959/j.issn.2909-109x.2016.00038