| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [28 references]
https://hal.inria.fr/hal-01345096
Contributor : Hal Ifip <>
Submitted on : Wednesday, July 13, 2016 - 10:52:43 AM
Last modification on : Monday, November 23, 2020 - 12:52:03 PM
Contributor : Hal Ifip <>
Submitted on : Wednesday, July 13, 2016 - 10:52:43 AM
Last modification on : Monday, November 23, 2020 - 12:52:03 PM
File
337885_1_En_5_Chapter.pdf
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License