Michele Boreale
Quantifying Information Leakage in Process Calculi
ICALP, 2006.
@inproceedings{ICALP-v2-2006-Boreale, author = "Michele Boreale", booktitle = "{Proceedings of the 33rd International Colloquium on Automata, Languages and Programming, Part II}", doi = "10.1007/11787006_11", isbn = "3-540-35907-9", pages = "119--131", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Quantifying Information Leakage in Process Calculi}", volume = 4052, year = 2006, }