Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Quantifying information leakage in process calculi @INPROCEEDINGS{Bor06a,
title = {{Quantifying information leakage in process calculi}},
author = {{Michele} {Boreale}},
booktitle = {Proc.of Automata, Languages and Programming, 33rd International Colloquium (ICALP 2006)},
editor = {Michele Bugliesi and Bart Preneel and Vladimiro Sassone and Ingo Wegener},
pages = {119-131},
abstract = {We study two quantitative models of information leakage in the pi-calculus. The
first model presupposes an attacker with an essentially unlimited computational
power. The resulting notion of absolute leakage, measured in bits, is in
agreement with secrecy as defined by Abadi and Gordon: a process has an
absolute leakage of zero precisely when it satisfies secrecy. The second model
assumes a restricted observation scenario, inspired by the testing equivalence
framework, where the attacker can only conduct repeated success-or-failure
experiments on processes. Moreover, each experiment has a cost in terms of
communication actions. The resulting notion of leakage rate, measured in bits
per action, is in agreement with the first model: the maximum information that
can be extracted by repeated experiments coincides with the absolute leakage A
of the process. Moreover, the overall extraction cost is at least A/R, where R
is the rate of the process. Strategies to effectively estimate both absolute
leakage and rate are also discussed.},
publisher = {Springer},
series = {LNCS},
volume = {4052},
year = {2006},
url = {http://rap.dsi.unifi.it/sensoria/files/icalpLNCS.pdf},
invited = {N},
keywords = {information leakage, information theory, process calculi, secrecy},
partner = {DSIUF},
status = {public},
}
|