Programming Access Control: The KLAIM Experience
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
LICS '03 Proceedings of the 18th Annual IEEE Symposium on Logic in Computer Science
Specifying Data Sharing Agreements
POLICY '06 Proceedings of the Seventh IEEE International Workshop on Policies for Distributed Systems and Networks
SOUPS '06 Proceedings of the second symposium on Usable privacy and security
Static Validation of Licence Conformance Policies
ARES '08 Proceedings of the 2008 Third International Conference on Availability, Reliability and Security
Towards Modelling Obligations in Event-B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
The Coalition Policy Management Portal for Policy Authoring, Verification, and Deployment
POLICY '08 Proceedings of the 2008 IEEE Workshop on Policies for Distributed Systems and Networks
Expressive policy analysis with enhanced system dynamicity
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
CNL4DSA: a controlled natural language for data sharing agreements
Proceedings of the 2010 ACM Symposium on Applied Computing
Privacy-aware role-based access control
ACM Transactions on Information and System Security (TISSEC)
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
A model of triangulating environments for policy authoring
Proceedings of the 15th ACM symposium on Access control models and technologies
Visualising Access Control: The PRISM Approach
PCI '10 Proceedings of the 2010 14th Panhellenic Conference on Informatics
An event-B approach to data sharing agreements
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A data sharing agreement framework
ICISS'06 Proceedings of the Second international conference on Information Systems Security
Towards an executable algebra for product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Hi-index | 0.00 |
The number of factories, service providers, retailers, and final users that create networks and establish collaborations for increasing their productivity and competitiveness is constantly growing, especially by effect of the globalization and outsourcing of industrial activities. This trend introduces new complexities in the value supply chain, not last the need for secure and private data sharing among the collaborating parties. A Data Sharing Agreement (DSA) represents a flexible means to assure privacy and security of electronic data exchange. DSA is a formal document regulating data exchange in a controlled manner, by defining a set of policies specifying what parties are allowed, or required, or denied to do with respect to data covered by the agreement. A key factor in the adoption of DSAs is their usability. Here, we propose an approach for a consistent and automated design phase of the agreements. In particular, we present an authoring tool for a user-friendly and cooperative editing of DSA and an analysis tool to identify possible conflicts or incompatibilities among the DSA policies.