414	  Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa and Morgan, Carroll and Sloane, Anthony and Susatyo, Enrico  (2012) Abstractions of Non-interference Security: Probabilistic versus Possibilistic.  Formal Aspects of Computing .       (In Press)