Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi: Entropy and Attack Models in Information Flow - (Invited Talk). IFIP TCS 2010: 53-54