Sciweavers

TACAS
2010
Springer
162views Algorithms» more  TACAS 2010»
14 years 5 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...