Skip to Main content Skip to Navigation
Conference papers

Probable Innocence and Independent Knowledge

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/inria-00424853
Contributor : Catuscia Palamidessi <>
Submitted on : Saturday, December 18, 2010 - 7:16:57 PM
Last modification on : Tuesday, December 8, 2020 - 9:39:17 AM
Long-term archiving on: : Friday, December 2, 2016 - 10:49:41 PM

File

ProbInnocCR.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

432

Files downloads

526