Verification of correctness of attribute based access control
LV Jianghua1, LIU Zhifeng1, XU Yatao2, ZHOU Conghua1
Computer Engineering and Applications . 2016, (18): 98 -103 .