Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum, Geoffrey Smith
Computing the Leakage of Information-Hiding Systems
TACAS, 2010.
@inproceedings{TACAS-2010-AndresPRS,
author = "Miguel E. Andrés and Catuscia Palamidessi and Peter van Rossum and Geoffrey Smith",
booktitle = "{Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-12002-2_32",
isbn = "978-3-642-12001-5",
pages = "373--389",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Computing the Leakage of Information-Hiding Systems}",
volume = 6015,
year = 2010,
}
Tags: