Creative Commons Attribution 3.0 Unported license (CC-BY 3.0)when quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.FSTTCS.2014.517
URN: urn:nbn:de:0030-drops-48683
URL: https://drops.dagstuhl.de/opus/volltexte/2014/4868/
Biondi, Fabrizio ; Legay, Axel ; Nielsen, Bo Friis ; Malacaria, Pasquale ; Wasowski, Andrzej
Information Leakage of Non-Terminating Processes
| pdf-format: |
|
Abstract
In recent years, quantitative security techniques have been providing effective measures of the security of a system against an attacker. Such techniques usually assume that the system produces a finite amount of observations based on a finite amount of secret bits and terminates, and the attack is based on these observations. By modeling systems with Markov chains, we are able to measure the effectiveness of attacks on non-terminating systems. Such systems do not necessarily produce a finite amount of output and are not necessarily based on a finite amount of secret bits. We provide characterizations and algorithms to define meaningful measures of security for non-terminating systems, and to compute them when possible. We also study the bounded versions of the problems, and show examples of non-terminating programs and how their effectiveness in protecting their secret can be measured.
BibTeX - Entry
@InProceedings{biondi_et_al:LIPIcs:2014:4868,
author = {Fabrizio Biondi and Axel Legay and Bo Friis Nielsen and Pasquale Malacaria and Andrzej Wasowski},
title = {{Information Leakage of Non-Terminating Processes}},
booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)},
pages = {517--529},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-77-4},
ISSN = {1868-8969},
year = {2014},
volume = {29},
editor = {Venkatesh Raman and S. P. Suresh},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4868},
URN = {urn:nbn:de:0030-drops-48683},
doi = {10.4230/LIPIcs.FSTTCS.2014.517},
annote = {Keywords: Quantitative information flow, Markov chain, information leakage, infinite execution}
}
| Keywords: | Quantitative information flow, Markov chain, information leakage, infinite execution | |
| Seminar: | 34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014) | |
| Issue date: | 2014 | |
| Date of publication: | 12.12.2014 |
