Probable innocence in the presence of independent knowledge
| Autor: | Vladimiro Sassone, Catuscia Palamidessi, Ehab ElSalamouny, Sardaouna Hamadou |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2009 |
| Předmět: |
Computer science
media_common.quotation_subject Conditional probability Innocence 0102 computer and information sciences 02 engineering and technology 16. Peace & justice Computer security computer.software_genre 01 natural sciences Formal relationships Crowds 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing computer Protocol (object-oriented programming) Vulnerability (computing) media_common Anonymity |
| Zdroj: | Formal Aspects in Security and Trust ISBN: 9783642124587 Formal Aspects in Security and Trust |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|