CNL4DSA: A controlled natural language for data sharing agreements

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2010, Pages 616-620

  Matteucci, Ilaria ^a   Petrocchi, Marinella ^a   Sbodio, Marco Luca ^b  

^a IIT CNR   (Italy)

^b HEWLETT PACKARD COMPANY   (United States)

Author keywords

controlled natural language; data sharing agreements; DSA analysis; DSA authoring; privacy policy

Indexed keywords

AUTOMATIC VERIFICATION; CONTROLLED NATURAL LANGUAGE; DATA SHARING; HUMAN USERS; KEY FACTORS; PRIVACY POLICIES; PRIVACY REQUIREMENTS; USER AGENTS;

ANALOG DIFFERENTIAL ANALYZERS; FORMAL LANGUAGES; INTELLIGENT AGENTS; LINGUISTICS; QUERY LANGUAGES;

DATA PRIVACY;

EID: 77954713998     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1774088.1774218     Document Type: Conference Paper

References (23)

1. B. Aziz et al. Controlling usage in business process workows through fine-grained security policies. In TrustBus, LNCS 5185. Springer, 2008.
2. J. A. Bergstra, A. Ponse, and S. A. Smolka, editors. Handbook of Process Algebra. Elsevier, 2001.
3. C. Brodie et al. An empirical study of natural language parsing of privacy policy rules using the sparcle policy workbench. In SOUPS '06. ACM, 2006.
4. C. Brodie et al. The coalition policy management portal for policy authoring, verification, and deployment. In POLICY, pages 247-249, 2008.
5. M. Clavel et al., editors. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, volume 4350 of LNCS. Springer, 2007.
6. J. D. Coi, P. Kärger, D. Olmedilla, and S. Zerr. Using Natural Language Policies for Privacy Control in Social Platforms. In SPOT'09, 2009.
7. L. Cranor, M. Langheinrich, M. Marchiori, M. Presler-Marshall, and J. Reagle. The Platform for Privacy Preferences 1.0 (P3P1.0) Specification. W3C Recommendation http://www.w3.org/TR/P3P/, April 2002.
8. R. Craven et al. Expressive policy analysis with enhanced system dynamicity. In ASIACCS, 2009.
9. Us datatrust terms of use. http://www.usdatatrust.com/disclaimer.htm, 2008.
10. Economic and social data service end user license. http://www.esds.ac.uk/ aandp/create/eul.asp, 2006.
11. Data sharing protocol for crime reduction. www.crimereduction.homeo ce.gov.uk/infosharing.doc, 2006.
12. C. A. R. Hoare. Communicating sequential processes. Commun. ACM, 21(8):666-677, 1978.
13. L. Kagal. Rei : A policy language for the me-centric project. Technical report, HP Labs, September 2002.
14. K. Kaljurand. Attempto Controlled English as a Semantic Web Language. PhD thesis, in Mathematics and Computer Science, Tartu Univ., 2007.
15. C.-M. Karat, C. Brodie, and J. Karat. Usable privacy and security for personal information management. Commun. ACM, 49(1):56-57, 2006.
16. J. Karat et al. Designing natural language and structured entry methods for privacy policy authoring. In INTERACT, pages 671-684, 2005.
17. K. G. Larsen. Modal specifications. In Automatic Verification Methods for Finite State Systems, pages 232-246, 1989.
18. K. G. Larsen and B. Thomsen. A modal process logic. In LICS, pages 203-210, 1988.
19. F. Martinelli and P. Mori. A model for usage control in grid systems. In GRID-STP07, 2007.
20. MedicAid and MediCare Services. Inter-agency data-sharing agreement. www.cms.hhs.gov/states/letters/smd10228.asp, 2004.
21. M. Schunter and C. Powers. The enterprise privacy authorization language (epal 1.1). http://www.zurich.ibm.com/security/enterprise-privacy/epal/, June 2003.
22. V. Swarup et al. A data sharing agreement framework. In ICISS, pages 22-36, 2006.
23. V. Swarup et al. Specifying data sharing agreements. In POLICY, pages 157-162, 2006.