Formalising and validating RBAC−to−XACML translation using lightweight formal methods

Chi tiết về thư mục
Những tác giả chính: Slaymaker, M, Power, D, Simpson, A
Định dạng: Conference item
Được phát hành: Springer−Verlag Lecture Notes in Computer Science‚ volume 5977 2010