Search - IFIP Open Digital Library Access content directly

Filter your results

3 results
Author: personID (integer) : 845654
Page :
sorted by
Image document

Entropy and Attack Models in Information Flow

 Mário S. Alvim , Miguel E. Andrés , Catuscia Palamidessi
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⟩
Conference papers hal-00548212v1
Image document

Safe Equivalences for Security Properties

 Mário S. Alvim , Miguel E. Andrés , Catuscia Palamidessi , Peter van Rossum
6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Sep 2010, Brisbane, Australia. pp.55-70, ⟨10.1007/978-3-642-15240-5_5⟩
Conference papers inria-00479674v2

Formal Techniques for Distributed Objects, Components, and Systems

 Erika Ábrahám , Catuscia Palamidessi
Springer, LNCS-8461, 2014, Lecture Notes in Computer Science, 978-3-662-43612-7. ⟨10.1007/978-3-662-43613-4⟩
Books hal-01398026v1
Page :