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.
Type de document :
Communication dans un congrès
Hannes Federrath; Dieter Gollmann. 30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. IFIP Advances in Information and Communication Technology, AICT-455, pp.67-81, 2015, ICT Systems Security and Privacy Protection. 〈10.1007/978-3-319-18467-8_5〉
https://hal.inria.fr/hal-01345096
Contributeur : Hal Ifip
<>
Soumis le : mercredi 13 juillet 2016 - 10:52:43
Dernière modification le : mercredi 13 juillet 2016 - 11:18:43
Wojciech Jamroga, Masoud Tabatabaei. Strategic Noninterference. Hannes Federrath; Dieter Gollmann. 30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. IFIP Advances in Information and Communication Technology, AICT-455, pp.67-81, 2015, ICT Systems Security and Privacy Protection. 〈10.1007/978-3-319-18467-8_5〉. 〈hal-01345096〉
