Abstract
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the deontic notions of obligation, prohibition and permission. In this paper, we present how to model DSAs using the Event-B specification language. Agreement clauses are modelled as temporal-logic formulas that preserve the intuitive meaning of the deontic operators, and constrain the actions that a principal can execute. We have exploited the ProB animator and model checker in order to verify that a system behaves according to its associated DSA and to validate that principals’ actions are in agreement with the DSA clauses.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Abrial, J.-R.: The B Book. Cambridge University Press, Cambridge (1996)
Abrial, J.-R., Hallerstede, S.: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundamenta Informaticae 77(1-2), 1–28 (2007)
Bicarregui, J., Arenas, A.E., Aziz, B., Massonet, P., Ponsard, C.: Toward Modelling Obligations in Event-B. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 181–194. Springer, Heidelberg (2008)
Crompton, S., Aziz, B., Wilson, M.D.: Sharing Scientific Data: Scenarios and Challenges. In: W3C Workshop on Access Control Application Scenarios (2009)
Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder Policy Specification Language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, pp. 18–38. Springer, Heidelberg (2001)
Daskalopulu, A.: Model Checking Contractual Protocols. In: Legal Knowledge and Information Systems. Frontiers in Artificial Intelligence and Applications Series (2001)
Farrell, A.D.H., Sergot, M.J., Sallé, M., Bartolini, C.: Using the Event Calculus for Tracking the Normative State of Contracts. International Journal of Cooperative Information Systems 14(2-3), 99–129 (2005)
Matteucci, I., Petrocchi, M., Sbodio, M.L.: CNL4DSA a Controlled Natural Language for Data Sharing Agreements. In: 25th Symposium on Applied Computing, Privacy on the Web Track. ACM, New York (2010)
Méry, D., Merz, S.: Event Systems and Access Control. In: Gollmann, D., Jürjens, J. (eds.) 6th Intl. Workshop Issues in the Theory of Security, Vienna, Austria. IFIP WG 1.7, pp. 40–54. Vienna University of Technology (2006)
Molina-Jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Run-Time Monitoring and Enforcement of Electronic Contracts. Electronic Commerce Research and Applications 3(2), 108–125 (2004)
Sieber, J.E.: Data Sharing: Defining Problems and Seeking Solutions. Law and Human Behaviour 12(2), 199–206 (1988)
Swarup, V., Seligman, L., Rosenthal, A.: A Data Sharing Agreement Framework. In: Bagchi, A., Atluri, V. (eds.) ICISS 2006. LNCS, vol. 4332, pp. 22–36. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arenas, A.E., Aziz, B., Bicarregui, J., Wilson, M.D. (2010). An Event-B Approach to Data Sharing Agreements. In: Méry, D., Merz, S. (eds) Integrated Formal Methods. IFM 2010. Lecture Notes in Computer Science, vol 6396. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16265-7_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-16265-7_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16264-0
Online ISBN: 978-3-642-16265-7
eBook Packages: Computer ScienceComputer Science (R0)