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.

Document type: Part of book or chapter of book

Full document

The PDF file did not load properly or your web browser does not support viewing PDF files. Download directly to your device: Download PDF document

Original document

The different versions of the original document can be found in:


http://link.springer.com/content/pdf/10.1007/978-3-642-38490-5_48,http://dx.doi.org/10.1007/978-3-642-38490-5_48 under the license http://www.springer.com/tdm


Back to Top

Document information

Published on 01/01/2013

Volume 2013, 2013
DOI: 10.1007/978-3-642-38490-5_48
Licence: CC BY-NC-SA license

Document Score


Views 2
Recommendations 0

Share this document

claim authorship

Are you one of the authors of this document?