"414","Abstractions of Non-interference Security: Probabilistic versus Possibilistic","","http://deploy-eprints.ecs.soton.ac.uk/414/","Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa and Morgan, Carroll and Sloane, Anthony and Susatyo, Enrico","UNSPECIFIED","       <span class=\"person_name\">Hoang, Thai Son</span> and <span class=\"person_name\">McIver, Annabelle</span> and <span class=\"person_name\">Meinicke, Larrisa</span> and <span class=\"person_name\">Morgan, Carroll</span> and <span class=\"person_name\">Sloane, Anthony</span> and <span class=\"person_name\">Susatyo, Enrico</span>     (2012)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/414/\"><em>Abstractions of Non-interference Security: Probabilistic versus Possibilistic.</em></a>       Formal Aspects of Computing       .                        (In Press)   ","htson@inf.ethz.ch,,,,,","2012"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>