%0 Journal Article
%T Automatic Analysis of the NRL Pump
%A Lanotte, Ruggero
%A Maggiolo-Schettini, Andrea
%A Tini, Simone
%A Troina, Angelo
%A Tronci, Enrico
%J Electr. Notes Theor. Comput. Sci.
%D 2004
%V 99
%F Lanotte_etal2004
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=36), last updated on Thu, 22 Nov 2012 14:59:18 +0100
%X 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).
%R 10.1016/j.entcs.2004.02.011
%U http://mclab.di.uniroma1.it/publications/papers/papers/Lanotte2004.pdf
%U https://doi.org/10.1016/j.entcs.2004.02.011
%P 245-266