419	  Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa and Sloane, Anthony and Susatyo, Enrico  (2011) Automated Analysis of Non-Interference Security by Refinement.  In: CryptoForma 2011.    (Submitted)