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.
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〉
Liste complète des métadonnées

Littérature citée [28 références]  Voir  Masquer  Télécharger

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

Fichier

337885_1_En_5_Chapter.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

30

Téléchargements de fichiers

2