Deploy Repository: No conditions. Results ordered -Date, Title. 2018-01-17T12:23:35Z EPrints http://deploy-eprints.ecs.soton.ac.uk/images/sitelogo.gif http://deploy-eprints.ecs.soton.ac.uk/ 2012-07-09T14:28:59Z 2012-07-09T14:29:26Z http://deploy-eprints.ecs.soton.ac.uk/id/eprint/414 This item is in the repository with the URL: http://deploy-eprints.ecs.soton.ac.uk/id/eprint/414 2012-07-09T14:28:59Z Abstractions of Non-interference Security: Probabilistic versus Possibilistic Thai Son Hoang htson@inf.ethz.ch Annabelle McIver Larrisa Meinicke Carroll Morgan Anthony Sloane Enrico Susatyo 2012-07-09T14:31:16Z 2012-07-09T14:31:16Z http://deploy-eprints.ecs.soton.ac.uk/id/eprint/415 This item is in the repository with the URL: http://deploy-eprints.ecs.soton.ac.uk/id/eprint/415 2012-07-09T14:31:16Z Security Invariants in Discrete Transition Systems Thai Son Hoang htson@inf.ethz.ch 2012-07-09T14:52:39Z 2012-07-09T14:52:39Z http://deploy-eprints.ecs.soton.ac.uk/id/eprint/419 This item is in the repository with the URL: http://deploy-eprints.ecs.soton.ac.uk/id/eprint/419 2012-07-09T14:52:39Z Automated Analysis of Non-Interference Security by Refinement Thai Son Hoang htson@inf.ethz.ch Annabelle McIver Larrisa Meinicke Anthony Sloane Enrico Susatyo 2010-04-06T16:23:57Z 2010-04-19T15:06:01Z http://deploy-eprints.ecs.soton.ac.uk/id/eprint/215 This item is in the repository with the URL: http://deploy-eprints.ecs.soton.ac.uk/id/eprint/215 2010-04-06T16:23:57Z Specification of the Dining Cryptographers problem Thai Son Hoang htson@inf.ethz.ch