TY - GEN
T1 - Probable innocence in the presence of independent knowledge
AU - Hamadou, Sardaouna
AU - Palamidessi, Catuscia
AU - Sassone, Vladimiro
AU - ElSalamouny, Ehab
PY - 2010/6/14
Y1 - 2010/6/14
N2 - We analyse the 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.
AB - We analyse the 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.
U2 - 10.1007/978-3-642-12459-4_11
DO - 10.1007/978-3-642-12459-4_11
M3 - Conference contribution
AN - SCOPUS:77953244874
SN - 3642124585
SN - 9783642124587
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 141
EP - 156
BT - Formal Aspects in Security and Trust - 6th International Workshop, FAST 2009, Revised Selected Papers
T2 - 6th International Workshop on Formal Aspects in Security and Trust, FAST 2009
Y2 - 5 November 2009 through 6 November 2009
ER -