title: Automated Analysis of Non-Interference Security by Refinement
creator: Hoang, Thai Son
creator: McIver, Annabelle
creator: Meinicke, Larrisa
creator: Sloane, Anthony
creator: Susatyo, Enrico
subject: Refinement
subject: Security
date: 2011-06
type: Conference or Workshop Item
type: PeerReviewed
identifier:   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)  
relation: http://deploy-eprints.ecs.soton.ac.uk/419/