@Article{Lanotte_etal2004,
author="Lanotte, Ruggero
and Maggiolo-Schettini, Andrea
and Tini, Simone
and Troina, Angelo
and Tronci, Enrico",
title="Automatic Analysis of the NRL Pump",
journal="Electr. Notes Theor. Comput. Sci.",
year="2004",
volume="99",
pages="245--266",
abstract="We define a probabilistic model for the NRL Pump and using FHP-mur{\$}{\backslash}varphi{\$} show experimentally that there exists a probabilistic covert channel whose capacity depends on various NRL Pump parameters (e.g. buffer size, number of samples in the moving average, etc).",
optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=36), last updated on Thu, 22 Nov 2012 14:59:18 +0100",
doi="10.1016/j.entcs.2004.02.011",
opturl="https://doi.org/10.1016/j.entcs.2004.02.011",
file=":http://mclab.di.uniroma1.it/publications/papers/papers/Lanotte2004.pdf:PDF"
}