共 50 条
[47]
An Approach to Formally Validate and Verify the Compliance of Low Level Access Control Policies
[J].
2014 IEEE 17TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE),
2014,
:1550-1557