Service-Oriented Federated Authorization : Publications
|
[1] |
Formalising and validating RBAC−to−XACML translation using lightweight formal methods Mark Slaymaker‚ David Power and Andrew Simpson In Proceedings of Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Pages 349–362. Springer−Verlag Lecture Notes in Computer Science‚ volume 5977. 2010. |
|
[2] |
On the secure sharing and aggregation of data to support Systems Biology research Andrew Simpson‚ Mark Slaymaker and David Gavaghan In Proceedings of the 7th International Conference on Data Integration in the Life Sciences (DILS 2010). Pages 58–73. Springer−Verlag Lecture Notes in Computer Science‚ volume 6254. 2010. |