On the computation of covert channel capacity Eugene Asarin and Cătălin Dima RAIRO-Theor. Inf. Appl., 44 1 (2010) 37-58 Published online: 11 February 2010 DOI: 10.1051/ita/2010004