title: Abstractions of Non-interference Security: Probabilistic versus Possibilistic
creator: Hoang, Thai Son
creator: McIver, Annabelle
creator: Meinicke, Larrisa
creator: Morgan, Carroll
creator: Sloane, Anthony
creator: Susatyo, Enrico
subject: Security
date: 2012
type: Article
type: PeerReviewed
identifier:   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)  
relation: http://deploy-eprints.ecs.soton.ac.uk/414/