Probable Innocence and Independent Knowledge

Sardaouna Hamadou 1 Catuscia Palamidessi 2 Vladimiro Sassone 3 Ehab Elsalamouny 3
2 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 : We analyse the \textsc{Crowds} anonymity protocol under the novel assumption that the attacker has independent knowledge on behavioural patterns of individual users. Under such conditions we study, reformulate and extend Reiter and Rubin's notion of probable innocence, and provide a new formalisation for it based on the concept of protocol vulnerability. Accordingly, we establish new formal relationships between protocol parameters and attackers' knowledge expressing necessary and sufficient conditions to ensure probable innocence.
Type de document :
Communication dans un congrès
Pierpaolo Degano and Joshua D. Guttman. Formal Aspects of Security and Trust, Nov 2009, Eindhoven, Netherlands. Springer, 5983, pp.141-156, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-12459-4_11〉
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00424853
Contributeur : Catuscia Palamidessi <>
Soumis le : samedi 18 décembre 2010 - 19:16:57
Dernière modification le : jeudi 10 mai 2018 - 02:06:38
Document(s) archivé(s) le : vendredi 2 décembre 2016 - 22:49:41

Fichier

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

Identifiants

Collections

Citation

Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab Elsalamouny. Probable Innocence and Independent Knowledge. Pierpaolo Degano and Joshua D. Guttman. Formal Aspects of Security and Trust, Nov 2009, Eindhoven, Netherlands. Springer, 5983, pp.141-156, 2010, Lecture Notes in Computer Science. 〈10.1007/978-3-642-12459-4_11〉. 〈inria-00424853v2〉

Partager

Métriques

Consultations de la notice

320

Téléchargements de fichiers

154