Academic
Publications
CNL4DSA: a controlled natural language for data sharing agreements

CNL4DSA: a controlled natural language for data sharing agreements,10.1145/1774088.1774218,Ilaria Matteucci,Marinella Petrocchi,Marco Luca Sbodio

CNL4DSA: a controlled natural language for data sharing agreements   (Citations: 3)
BibTex | RIS | RefWorks Download
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.
Conference: ACM Symposium on Applied Computing - SAC , pp. 616-620, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...In [6], an operational semantics expressing how a system evolves when executed under the restriction of DSA is defined, and in [9], the model is encoded in the Maude termrewriting system and several DSA properties are automatically verified...
    • ...The set-up of DSAs requires technologies such as DSA authoring tools [6], which may include controlled natural language vocabularies to define unambiguously the DSAs conditions and obligations; and translators of DSAs clauses into enforceable policies...

    Benjamin Azizet al. SecPAL4DSA: A Policy Language for Specifying Data Sharing Agreements

    • ...The set-up of DSAs requires technologies such as DSA authoring tools [8], which may include controlled natural language vocabularies to define unambiguously the DSAs conditions and obligations; and translators of DSAs clauses into enforceable policies...
    • ...Our work aims at providing formal reasoning support to DSA authoring tools such as the one presented in [8], focusing mainly on the clauses part of a DSA...
    • ...Actions are analogous to fragments defined in [8], We assume that actions are taken from a pre-defined list of actions, possibly derived from an ontology...
    • ...Our work has been influenced by the work by Matteucci et al [8], which presents an authoring tool for expressing DSAs in a controlled natural language...
    • ...The underlying semantic model for DSAs in [8] is an operational semantics expressing how a system evolves when executed under the restriction of an agreement...

    Alvaro E. Arenaset al. An Event-B Approach to Data Sharing Agreements

Sort by: