Abstract
This paper addresses the question of checking the quality of data exchange policies which exist in organizations in order to regulate data exchanges between members. More particularly, we address the question of generating the situations compliant with the policy but in which a given property is unsatisfied. We show that it comes to a problem of abduction and we propose to use an algorithm based on the SOL-resolution. Our contributions are illustrated on a case study (This research was supported by ONERA.).
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.
References
Donath, T., Schildknecht, T., Martinot, V., Del Monte, L.: Possible European systems for Space Situational Awareness. Acta Astronautica 66(9–10), 1378–1387 (2010)
Schaefer, T.: The complexity of satisfiability problems. In: Proceedings of the 10th Annual ACM Symposium on Theory of Computing, San Diego, California. pp. 216–226 (1978)
Inoue, K.: Linear resolution for consequence finding. Artificial Intelligence 56, 301–353 (1992)
Phillips, C.E., Ting, T.C., Demurjian, S.A.: Information sharing and security in dynamic coalitions. In: SACMAT, pp. 87–96 (2002)
Cholvy, L., Garion, C., Saurel, C.: Information Sharing Policies For Coalition Systems. In: NATO RTO-IST Symposium on Dynamic Communications Management, Budapest (October 2006)
Cholvy, L., Cuppens, F.: Analysing consistency of security policies. Proceedings of IEEE Symposium on Security and Privacy, Oakland (May 1997)
Cholvy, L., Roussel, S.: Reasoning with an Incomplete Information Exchange Policy. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol. 4724, pp. 683–694. Springer, Heidelberg (2007)
Cholvy, L., Delmas, R., Polacsek. T.: Vers une aide la spécification d’une politique d’échange d’informations dans un SI. 30ième congrès Informatique des Organisations et des Systèmes d’Informations (INFORSID 2012), Montpellier (Mai 2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Cholvy, L. (2015). Abduction for Analysing Data Exchange Policies. In: Morzy, T., Valduriez, P., Bellatreche, L. (eds) New Trends in Databases and Information Systems. ADBIS 2015. Communications in Computer and Information Science, vol 539. Springer, Cham. https://doi.org/10.1007/978-3-319-23201-0_52
Download citation
DOI: https://doi.org/10.1007/978-3-319-23201-0_52
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-23200-3
Online ISBN: 978-3-319-23201-0
eBook Packages: Computer ScienceComputer Science (R0)