2015 | OriginalPaper | Chapter
Strategic Noninterference
Authors: Wojciech Jamroga, Masoud Tabatabaei
Publisher: Springer International Publishing
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.
