"419","Automated Analysis of Non-Interference Security by Refinement","","http://deploy-eprints.ecs.soton.ac.uk/419/","Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa 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\">Sloane, Anthony</span> and <span class=\"person_name\">Susatyo, Enrico</span>     (2011)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/419/\"><em>Automated Analysis of Non-Interference Security by Refinement.</em></a>       In: CryptoForma 2011.         (Submitted)   ","htson@inf.ethz.ch,,,,","2011-06"