Login / Signup
E. Susatyo
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Probabilistic Logic
Security Problems
Causal Networks
Probability Theory
Top Venues
Formal Aspects Comput.
</>
Publications
</>
Thai Son Hoang
,
A. K. McIver
,
Larissa Meinicke
,
Carroll C. Morgan
,
Anthony Sloane
,
E. Susatyo
Abstractions of non-interference security: probabilistic versus possibilistic.
Formal Aspects Comput.
26 (1) (2014)