Probable Innocence and Independent Knowledge - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

Probable Innocence and Independent Knowledge

Résumé

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.
Fichier principal
Vignette du fichier
ProbInnocCR.pdf (130.79 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00424853 , version 1 (19-10-2009)
inria-00424853 , version 2 (18-12-2010)

Identifiants

Citer

Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone, Ehab Elsalamouny. Probable Innocence and Independent Knowledge. Formal Aspects of Security and Trust, Nov 2009, Eindhoven, Netherlands. pp.141-156, ⟨10.1007/978-3-642-12459-4_11⟩. ⟨inria-00424853v2⟩
240 Consultations
292 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More