Hamadou, Sardaouna, Palamidessi, Catuscia, Sassone, Vladimiro and ElSalamouny, Ehab
Probable innocence in the presence of independent knowledge
At International Workshop on Formal Aspects in Security and Trust (FAST2009), Netherlands.
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.
Conference or Workshop Item
|Venue - Dates:
||International Workshop on Formal Aspects in Security and Trust (FAST2009), Netherlands, 0000-02-01
||Web & Internet Science
|24 October 2009||Submitted|
||12 Nov 2009 15:16
||17 Apr 2017 18:44
|Further Information:||Google Scholar|
Actions (login required)