Scipediacontent: Scipediacontent moved page Draft Content 734744245 to Gharib Giorgini 2013a

2020-09-29T07:12:41Z

Scipediacontent moved page Draft Content 734744245 to Gharib Giorgini 2013a

Scipediacontent: Created page with " == Abstract == Preserving information integrity represent an urgent need for safety critical systems, where depending on incorrect or inconsistent information may leads to d..."

2020-09-29T07:12:38Z

Created page with " == Abstract == Preserving information integrity represent an urgent need for safety critical systems, where depending on incorrect or inconsistent information may leads to d..."

New page

== 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.

Document type: Part of book or chapter of book

== Full document ==
<pdf>Media:Draft_Content_734744245-beopen1584-7825-document.pdf</pdf>

== Original document ==

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

[http://disi.unitn.it/%7Epgiorgio/papers/wisse-2013.pdf http://disi.unitn.it/%7Epgiorgio/papers/wisse-2013.pdf]

[http://link.springer.com/content/pdf/10.1007/978-3-642-38490-5_48 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 http://dx.doi.org/10.1007/978-3-642-38490-5_48] under the license http://www.springer.com/tdm

[https://link.springer.com/chapter/10.1007/978-3-642-38490-5_48 https://link.springer.com/chapter/10.1007/978-3-642-38490-5_48],[http://disi.unitn.it/~pgiorgio/papers/wisse-2013.pdf http://disi.unitn.it/~pgiorgio/papers/wisse-2013.pdf],[https://rd.springer.com/chapter/10.1007/978-3-642-38490-5_48 https://rd.springer.com/chapter/10.1007/978-3-642-38490-5_48],[https://academic.microsoft.com/#/detail/113216708 https://academic.microsoft.com/#/detail/113216708]

← Older revision	Revision as of 07:12, 29 September 2020
(No difference)

Gharib Giorgini 2013a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 734744245 to Gharib Giorgini 2013a

Scipediacontent: Created page with " == Abstract == Preserving information integrity represent an urgent need for safety critical systems, where depending on incorrect or inconsistent information may leads to d..."