Abstract
Preserving information integrity represent an urgent need for safety critical systems, where depending on incorrect or inconsistent information may leads to disasters. Typically, information integrity is a problem handled at technical level (e.g., checksumming). However, information integrity has to be analyzed in the social-technical context of the system, since information integrity related problems might manifest themselves in the business processes and actors interactions. In this paper, we propose an extended version of i*/ secure Tropos modeling languages to capture information integrity requirements. We illustrate the Datalog formalization of the proposed concepts and analysis techniques to support the analyst in the verification of integrity related properties. Air Traffic Management (ATM) case study is used throughout the paper.
Keywords
Download to read the full chapter text
Chapter PDF
References
Abiteboul, S., Hull, R., Vianu, V.: Foundations of databases, Citeseer, vol. 8 (1995)
Basin, D., Doser, J., Lodderstedt, T.: Model driven security: From UML models to access control infrastructures (TOSEM) 15, 39–91 (2006)
Boritz, J.: IS practitioners’ views on core concepts of information integrity. International Journal of Accounting Information Systems 6, 260–279 (2005)
Bovee, M., Srivastava, R., Mak, B.: A conceptual framework and belief-function approach to assessing overall information quality. International Journal of Intelligent Systems, Wiley Online Library 18, 51–74 (2003)
Castelfranchi, C., Falcone, R.: Principles of trust for MAS: Cognitive anatomy, social importance, and quantification. Multi Agent Systems (1998)
Cohen, F.: A cryptographic checksum for integrity protection Computers & Security. Elsevier 6, 505–510 (1987)
Jrjens, J.: Secure systems development with UML. Springer (2005)
Lin, L., Nuseibeh, B., Ince, D., Jackson, M., Moffett, J.: Introducing abuse frames for analysing security requirements. IEEE Computer Society (2003)
Mouratidis, H., Giorgini, P.: Secure Tropos: A security-oriented extension of the Tropos methodology. World Scientific Publishing, Singapore (2007)
safety board null, N. T. Aircraft accident report File No. 1-0017 (1972)
Yu, E.S.-K.: Modelling strategic relationships for process reengineering. Ph.D. thesis, University of Toronto (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gharib, M., Giorgini, P. (2013). Modeling and Analyzing Information Integrity in Safety Critical Systems. In: Franch, X., Soffer, P. (eds) Advanced Information Systems Engineering Workshops. CAiSE 2013. Lecture Notes in Business Information Processing, vol 148. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38490-5_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-38490-5_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38489-9
Online ISBN: 978-3-642-38490-5
eBook Packages: Computer ScienceComputer Science (R0)