We define a probabilistic model for the NRL Pump and using FHP-murφ 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). © 2004 Elsevier B.V. All rights reserved.
Automatic analysis of the NRL Pump / Ruggero, Lanotte; Andrea Maggiolo, Schettini; Simone, Tini; Angelo, Troina; Tronci, Enrico. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 99:(2004), pp. 245-266. (Intervento presentato al convegno Proceedings of the MEFISTO Project 2003, Formal Methods for Security and Time tenutosi a Pisa nel 3 November 2003 through 5 November 2003) [10.1016/j.entcs.2004.02.011].
Automatic analysis of the NRL Pump
TRONCI, Enrico
2004
Abstract
We define a probabilistic model for the NRL Pump and using FHP-murφ 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). © 2004 Elsevier B.V. All rights reserved.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
