Formalising and validating RBAC−to−XACML translation using lightweight formal methods
Mark Slaymaker‚ David Power and Andrew Simpson
Details
| Book Title |
Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010) |
| Pages |
349–362 |
| Publisher |
Springer−Verlag Lecture Notes in Computer Science‚ volume 5977 |
| Year |
2010 |
Links
Related pages
|
People |
|
|
Projects |
|
|
Activities |