Safe Equivalences for Security Properties

Mário Alvim 1 Miguel Andrés 2 Catuscia Palamidessi 1 Peter Van Rossum 2
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : In the field of Security, process equivalences have been used to char- acterize various information-hiding properties (for instance secrecy, anonymity and non-interference) based on the principle that a protocol P with a variable x satisfies such property if and only if, for every pair of secrets s1 and s2 , P [s1 /x ] is equivalent to P [s2 /x ]. We argue that, in the presence of nondeterminism, the above principle relies on the assumption that the scheduler “works for the benefit of the protocol”, and this is usually not a safe assumption. Non-safe equivalences, in this sense, include trace equivalence and bisimulation. We present a formalism in which we can specify admissible schedulers and, correspondingly, safe ver- sions of these equivalences. We then show safe bisimulation is still a congruence. We conclude showing how to use safe equivalences to characterize information- hiding properties.
Type de document :
Communication dans un congrès
Cristian S. Calude and Vladimiro Sassone. 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Sep 2010, Brisbane, Australia. Springer, 323, pp.55-70, 2010, IFIP Advances in Information and Communication Technology. 〈10.1007/978-3-642-15240-5_5〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00479674
Contributeur : Catuscia Palamidessi <>
Soumis le : dimanche 19 décembre 2010 - 12:22:28
Dernière modification le : jeudi 12 avril 2018 - 01:47:42
Document(s) archivé(s) le : samedi 3 décembre 2016 - 00:29:05

Fichier

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

Identifiants

Collections

Citation

Mário Alvim, Miguel Andrés, Catuscia Palamidessi, Peter Van Rossum. Safe Equivalences for Security Properties. Cristian S. Calude and Vladimiro Sassone. 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Sep 2010, Brisbane, Australia. Springer, 323, pp.55-70, 2010, IFIP Advances in Information and Communication Technology. 〈10.1007/978-3-642-15240-5_5〉. 〈inria-00479674v2〉

Partager

Métriques

Consultations de la notice

584

Téléchargements de fichiers

117