Skip to Main content Skip to Navigation
Conference papers

Strategic Noninterference

Abstract : Noninterference is a property that captures confidentiality of actions executed by a given process. However, the property is hard to guarantee in realistic scenarios. We show that the security of a system can be seen as an interplay between functionality requirements and the strategies adopted by users, and based on it we propose a weaker notion of noninterference which we call strategic noninterference. We also give a characterization of strategic noninterference through unwinding relations for specific subclasses of goals and for the simplified setting where a strategy is given as a parameter.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, July 13, 2016 - 10:52:43 AM
Last modification on : Monday, November 23, 2020 - 12:52:03 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Wojciech Jamroga, Masoud Tabatabaei. Strategic Noninterference. 30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.67-81, ⟨10.1007/978-3-319-18467-8_5⟩. ⟨hal-01345096⟩



Record views


Files downloads