PT Journal
AU Lanotte, R
   Maggiolo-Schettini, A
   Tini, S
   Troina, A
   Tronci, E
TI Automatic Analysis of the NRL Pump
SO Electr. Notes Theor. Comput. Sci.
PY 2004
BP 245
EP 266
VL 99
DI 10.1016/j.entcs.2004.02.011
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).
ER