Preserving security properties under refinement

Martinelli, Fabio; Matteucci, Ilaria

doi:10.1145/1988630.1988634

Cited by 2 publications

(1 citation statement)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The action refinement theory [18] is typically used in formal methods for converting the specification of an (abstract) action into a (concrete) process. [10] addresses this theory and provide a mechanism for transforming high-level primitives/actions into lower level processes, in such a way that some security proper-ties are preserved within the transformation.…”

Section: State Of the Artmentioning

confidence: 99%

A Lifecycle for Data Sharing Agreements: How it Works Out

Ruiz

Petrocchi

Matteucci

et al. 2016

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

An electronic Data Sharing Agreement (DSA) is a humanreadable, yet machine-processable contract, regulating how organizations and/or individuals share data. In past work, we have shed light on DSA engineering, i.e., the process of studying how data sharing is ruled in traditional legal human-readable contracts and mapping their fields (and rules) into formats that are machine-processable, leading to the transposition of a traditional legal contract into the electronic DSA. However, the definition of an electronic DSA is only the starting point of a complex DSA lifecycle, driving the contract from its creation to 1) an analysis phase, where the DSA rules are checked against conflicts; and 2) a mapping phase, where the analysed rules are transposed into privacy policies expressed in enforceable languages. This paper presents our vision for the architectural definition of a DSA system, where a lifecycle manager orchestrates: an authoring tool for legal experts, policy experts, and end users; an analyser for checking consistency of the DSA rules; a mapper for encoding rules in a low level language amenable for enforcement. The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant no 610853 (Coco Cloud).

show abstract

Section: State Of the Artmentioning

confidence: 99%