s'authentifier
version française rss feed

inria-00424853, version 2

Probable Innocence and Independent Knowledge

Sardaouna Hamadou 1, Catuscia Palamidessi () 2, Vladimiro Sassone 3, Ehab Elsalamouny 3

Formal Aspects of Security and Trust 5983 (2009) 141-156

Résumé : 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.

 
  • inria-00424853, version 2
  • oai:hal.inria.fr:inria-00424853
  • Contributeur : 
  • Soumis le : Samedi 18 Décembre 2010, 19:16:57
  • Dernière modification le : Dimanche 2 Janvier 2011, 19:11:31
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...