Sciweavers

75
Voted
TACAS
2010
Springer
162views Algorithms» more  TACAS 2010»
15 years 3 months ago
Computing the Leakage of Information-Hiding Systems
We address the problem of computing the information leakage of a system in an efficient way. We propose two methods: one based on reducing the problem to reachability, and the oth...
Miguel E. Andrés, Catuscia Palamidessi, Pet...