 |
|
|
|
| HAL: inria-00424853, version 2 |
| DOI: 10.1007/978-3-642-12459-4_11 |
| See detailed view |  BibTeX,EndNote,... |
|
|
| Formal Aspects of Security and Trust, Eindhoven : Pays-Bas (2009) |
|
|
| Available versions | v1 (2009-10-19) | v2 (2010-12-19) |
|
|
|
|
| Probable Innocence and Independent Knowledge |
|
|
| Sardaouna Hamadou 1Catuscia Palamidessi 2 |
|
|
| (2010) |
|
|
|
| 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. |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Laboratoire de Conception et de Réalisation des Applications Complexes (CRAC) |
|
|
|
École Polytechnique de Montréal |
|
|
| 2: | COMETE (INRIA Saclay - Ile de France) |
|
|
|
INRIA – Polytechnique - X – CNRS : UMR7161 |
|
|
| 3: | ECS Department - University of Southampton |
|
|
|
University of Southampton |
|
|
|
|
|
|
|
|
|
| Domain | : | Computer Science/Logic in Computer Science |
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| inria-00424853, version 2 | |
| http://hal.inria.fr/inria-00424853 | |
| oai:hal.inria.fr:inria-00424853 | |
| From: Catuscia Palamidessi | |
| Submitted on: Saturday, 18 December 2010 19:16:57 | |
| Updated on: Sunday, 2 January 2011 19:11:31 | |
