Strategic Noninterference - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

Strategic Noninterference


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.
Fichier principal
Vignette du fichier
337885_1_En_5_Chapter.pdf (4 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01345096 , version 1 (13-07-2016)





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⟩
46 View
69 Download



Gmail Facebook X LinkedIn More