Unifying Facets of Information Integrity
Paper i proceeding, 2010

Information integrity is a vital security property in a variety of applications. However, there is more than one facet to integrity: interpretations of integrity in different contexts include integrity via information flow, where the key is that trusted output is independent from untrusted input, and integrity via invariance, where the key is preservation of an invariant. Furthermore, integrity via invariance is itself multi-faceted. For example, the literature features formalizations of invariance as predicate preservation (predicate invariance), which is not directly compatible with invariance of memory values (value invariance). This paper offers a unified framework for integrity policies that include all of the facets above. Despite the different nature of these facets, we show that a straightforward enforcement mechanism adapted from the literature is readily available for enforcing all of the integrity facets at once.

information flow

information security


program correctness


Arnar Birgisson

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Alejandro Russo

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Andrei Sabelfeld

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 6503 48-65
978-364217713-2 (ISBN)







Mer information