creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: article
datestamp: 2012-07-09 14:31:16
lastmod: 2012-07-09 14:31:16
metadata_visibility: show
title: Security Invariants in Discrete Transition Systems
ispublished: inpress
subjects: deploy_method_secur
subjects: deploy_tooldev_rodinplugins
full_text_status: none
date: 2012
date_type: published
publication: Formal Aspects of Computing
refereed: TRUE
citation:   Hoang, Thai Son  (2012) Security Invariants in Discrete Transition Systems.  Formal Aspects of Computing .       (In Press)  

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>