TY  - JOUR
AU  - Lanotte, Ruggero
AU  - Maggiolo-Schettini, Andrea
AU  - Tini, Simone
AU  - Troina, Angelo
AU  - Tronci, Enrico
PY  - 2004
DA  - 2004//
TI  - Automatic Analysis of the NRL Pump
JO  - Electr. Notes Theor. Comput. Sci.
SP  - 245
EP  - 266
VL  - 99
AB  - We define a probabilistic model for the NRL Pump and using FHP-mur$\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).
L1  - http://mclab.di.uniroma1.it/publications/papers/papers/Lanotte2004.pdf
UR  - https://doi.org/10.1016/j.entcs.2004.02.011
DO  - 10.1016/j.entcs.2004.02.011
N1  - exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=36), last updated on Thu, 22 Nov 2012 14:59:18 +0100
ID  - Lanotte_etal2004
ER  -