David J. Power

According to our database1, David J. Power authored at least 23 papers between 2004 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Conformance Checking of Dynamic Access Control Policies.
Proceedings of the Formal Methods and Software Engineering, 2011

Automatic Conformance Checking of Role-Based Access Control Policies via Alloy.
Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2010
Formalising and Validating RBAC-to-XACML Translation Using Lightweight Formal Methods.
Proceedings of the Abstract State Machines, 2010

On the Modelling and Analysis of Amazon Web Services Access Policies.
Proceedings of the Abstract State Machines, 2010

2009
On Formalizing and Normalizing Role-Based Access Control Systems.
Comput. J., 2009

On the Construction and Verification of Self-modifying Access Control Policies.
Proceedings of the Secure Data Management, 6th VLDB Workshop, 2009

On the Secure Sharing of Legacy Data.
Proceedings of the Sixth International Conference on Information Technology: New Generations, 2009

On the utilisation of a service-oriented infrastructure to support radiologist training.
Proceedings of the Twenty-Second IEEE International Symposium on Computer-Based Medical Systems, 2009

2008
On the Facilitation of Fine-Grained Access to Distributed Healthcare Data.
Proceedings of the Secure Data Management, 5th VLDB Workshop, 2008

Accessing and aggregating legacy data sources for healthcare research, delivery and training.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

A healthcare-driven framework for facilitating the secure sharing of data across organisational boundaries.
Proceedings of the Global Healthgrid: e-Science Meets Biomedical Informatics, 2008

2007
On The Development of Secure Service-Oriented Architectures to Support Medical Research.
Int. J. Heal. Inf. Syst. Informatics, 2007

Developing collaborative technology for neuro-science.
Proceedings of the 3rd International Conference on Collaborative Computing: Networking, 2007

2006
Securing web services for deployment in health grids.
Future Gener. Comput. Syst., 2006

On tracker attacks in health grids.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006


The Challenges of Developing a Collaborative Data and Compute Grid for Neurosciences.
Proceedings of the 19th IEEE International Symposium on Computer-Based Medical Systems (CBMS 2006), 2006

2005
Towards secure Grid-enabled healthcare.
Softw. Pract. Exp., 2005

On Deducibility and Anonymisation in Medical Databases.
Proceedings of the Secure Data Management, 2005

Protecting sensitive patient data via query modification.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

A Secure Wrapper for OGSA-DAI.
Proceedings of the Advances in Grid Computing, 2005

GIMI: Generic Infrastructure for Medical Informatics.
Proceedings of the 18th IEEE Symposium on Computer-Based Medical Systems (CBMS 2005), 2005

2004
A relational approach to the capture of DICOM files for Grid-enabled medical imaging databases.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004


  Loading...