Entropy and Attack Models in Information Flow

Mário S. Alvim (1) , Miguel E. Andrés (2) , Catuscia Palamidessi (1)

1 COMETE - Concurrency, Mobility and Transactions
2 CS - Computing Science Department

Köpf and Basin have discussed the relation between brute-force guessing attacks and entropy, in the context of information flow induced by a deterministic program. In this talk, we extend the analysis of Köpf and Basin to the probabilistic scenario, and we consider also other notions of entropy, including the family of entropies proposed by Rényi.

Domaines: Logique en informatique [cs.LO]

Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi. Entropy and Attack Models in Information Flow. 6th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (TCS) / Held as Part of World Computer Congress (WCC), Sep 2010, Brisbane, Australia. pp.53-54, ⟨10.1007/978-3-642-15240-5_4⟩. ⟨hal-00548212⟩