SOFA: Publications

Conference papers

• [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