Approximation and Randomization for Quantitative Information-Flow Analysis
2014 ◽
Vol 538
◽
pp. 124-139
◽
Keyword(s):
2012 ◽
Vol 37
(6)
◽
pp. 1-5
◽