基于属性的访问控制策略的正确性验证

基于属性的访问控制策略的正确性验证

吕江华1，刘志锋1，徐亚涛2，周从华1

Verification of correctness of attribute based access control

LV Jianghua1, LIU Zhifeng1, XU Yatao2, ZHOU Conghua1

计算机工程与应用 . 2016, (18): 98 -103 .