SOFA: 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.
Details about Formalising and validating RBAC−to−XACML translation using lightweight formal methods | BibTeX data for Formalising and validating RBAC−to−XACML translation using lightweight formal methods
-
[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.
Details about On the secure sharing and aggregation of data to support Systems Biology research | BibTeX data for On the secure sharing and aggregation of data to support Systems Biology research