A logical approach to multilevel security of probabilistic systems
2020 ◽
Vol 9
(4)
◽
pp. 5716-5720
Keyword(s):
Keyword(s):
2013 ◽
Vol 32
(11)
◽
pp. 3044-3046