creators_name: Hoang, Thai Son
creators_name: McIver, Annabelle
creators_name: Meinicke, Larrisa
creators_name: Sloane, Anthony
creators_name: Susatyo, Enrico
creators_id: htson@inf.ethz.ch
type: conference_item
datestamp: 2012-07-09 14:52:39
lastmod: 2012-07-09 14:52:39
metadata_visibility: show
title: Automated Analysis of Non-Interference Security by Refinement
ispublished: submitted
subjects: Refinement
subjects: deploy_method_secur
full_text_status: none
pres_type: paper
date: 2011-06
date_type: published
event_title: CryptoForma 2011
event_type: workshop
refereed: TRUE
citation:   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)