Noninterference Analysis of Delegation Subterfuge in Distributed Authorization Systems

Abstract : A principal carrying out a delegation may not be certain about the state of its delegation graph as it may have been perturbed by an attacker. This perturbation may come about from the attacker concealing the existence of selected delegation certificates and/or injecting new delegation certificates. As a consequence of this delegation subterfuge the principal may violate its own policy that guides delegation actions. This paper considers the verification of the absence of subterfuge in systems that accept and issue delegation certificates. It is argued that this absence of subterfuge is not a safety property and a non-interference style security-property based interpretation is proposed.
Type de document :
Communication dans un congrès
Carmen Fernández-Gago; Fabio Martinelli; Siani Pearson; Isaac Agudo. 7th Trust Management (TM), Jun 2013, Malaga, Spain. Springer, IFIP Advances in Information and Communication Technology, AICT-401, pp.193-207, 2013, Trust Management VII. 〈10.1007/978-3-642-38323-6_14〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01468171
Contributeur : Hal Ifip <>
Soumis le : mercredi 15 février 2017 - 11:33:18
Dernière modification le : mercredi 15 février 2017 - 11:41:01
Document(s) archivé(s) le : mardi 16 mai 2017 - 13:13:33

Fichier

978-3-642-38323-6_14_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Simon Foley. Noninterference Analysis of Delegation Subterfuge in Distributed Authorization Systems. Carmen Fernández-Gago; Fabio Martinelli; Siani Pearson; Isaac Agudo. 7th Trust Management (TM), Jun 2013, Malaga, Spain. Springer, IFIP Advances in Information and Communication Technology, AICT-401, pp.193-207, 2013, Trust Management VII. 〈10.1007/978-3-642-38323-6_14〉. 〈hal-01468171〉

Partager

Métriques

Consultations de la notice

46

Téléchargements de fichiers

29