Communicating sequential processes
Communications of the ACM
Handbook of Process Algebra
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Usable privacy and security for personal information management
Communications of the ACM - Personal information management
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
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
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Designing natural language and structured entry methods for privacy policy authoring
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
A data sharing agreement framework
ICISS'06 Proceedings of the Second international conference on Information Systems Security
An event-B approach to data sharing agreements
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
A design phase for data sharing agreements
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
Towards an executable algebra for product lines
Proceedings of the 16th International Software Product Line Conference - Volume 2
Hi-index | 0.00 |
A Data Sharing Agreement (DSA) is an agreement among contracting parties regulating how they share data. A DSA represents a flexible mean to assure privacy of data exchanged on the Web. As an example, a set of intelligent user agents may interact with each other, and by means of DSA, may negotiate privacy requirements on behalf of human users. However, a key factor for the adoption of privacy's technologies is not only their reliability, but also their usability. Here, we propose CNL4DSA, a Controlled Natural Language for DSA aiming at lowering the barrier to adoption of DSA, and, at the same time, ensuring mapping to formal languages that enable the automatic verification of agreements.