Probable innocence in the presence of independent knowledge


Hamadou, Sardaouna, Palamidessi, Catuscia, Sassone, Vladimiro and ElSalamouny, Ehab (2009) Probable innocence in the presence of independent knowledge. In, International Workshop on Formal Aspects in Security and Trust (FAST2009), Eindhoven, Netherlands, LNCS, Springer, 141-156. (Submitted).

Download

[img] PDF - Published Version
Download (149Kb)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Paper)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Web & Internet Science
ePrint ID: 267666
Date Deposited: 12 Nov 2009 15:16
Last Modified: 27 Mar 2014 20:13
Publisher: LNCS, Springer
Further Information:Google Scholar
ISI Citation Count:2
URI: http://eprints.soton.ac.uk/id/eprint/267666

Actions (login required)

View Item View Item