Abstractions of non-interference security: probabilistic versus possibilistic. - Thai Son Hoang; A. K. McIver; Larissa Meinicke; Carroll C. Morgan; Anthony Sloane; E. Susatyo (Formal Aspects Comput., 2014)