creators_name: Hoang, Thai Son
creators_name: McIver, Annabelle
creators_name: Meinicke, Larrisa
creators_name: Morgan, Carroll
creators_name: Sloane, Anthony
creators_name: Susatyo, Enrico
creators_id: htson@inf.ethz.ch
type: article
datestamp: 2012-07-09 14:28:59
lastmod: 2012-07-09 14:29:26
metadata_visibility: show
title: Abstractions of Non-interference Security: Probabilistic versus Possibilistic
ispublished: inpress
subjects: deploy_method_secur
full_text_status: none
date: 2012
publication: Formal Aspects of Computing
refereed: TRUE
citation:   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)