A process-algebraic approach for the analysis of probabilistic noninterference1
2004 ◽
Vol 12
(2)
◽
pp. 191-245
◽
2005 ◽
Vol 38
(1)
◽
pp. 325-330
◽
2016 ◽
Vol 12
(2)
◽
pp. 655-671
◽
Keyword(s):
Keyword(s):