Deploy Repository: No conditions. Results ordered -Date, Title. http://deploy-eprints.ecs.soton.ac.uk/ OAI Site description has not been configured. http://deploy-eprints.ecs.soton.ac.uk/images/sitelogo.gif Deploy Repository: No conditions. Results ordered -Date, Title. http://deploy-eprints.ecs.soton.ac.uk/ Wed, 17 Jan 2018 12:23:35 +0000 Wed, 17 Jan 2018 12:23:35 +0000 en Mon, 09 Jul 2012 14:28:59 +0100 Abstractions of Non-interference Security: Probabilistic versus Possibilistic http://deploy-eprints.ecs.soton.ac.uk/414/ http://deploy-eprints.ecs.soton.ac.uk/414/ Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa and Morgan, Carroll and Sloane, Anthony and Susatyo, Enrico (2012) Abstractions of Non-interference Security: Probabilistic versus Possibilistic. Formal Aspects of Computing . (In Press) Mon, 09 Jul 2012 14:31:16 +0100 Security Invariants in Discrete Transition Systems http://deploy-eprints.ecs.soton.ac.uk/415/ http://deploy-eprints.ecs.soton.ac.uk/415/ Hoang, Thai Son (2012) Security Invariants in Discrete Transition Systems. Formal Aspects of Computing . (In Press) Mon, 09 Jul 2012 14:52:39 +0100 Automated Analysis of Non-Interference Security by Refinement http://deploy-eprints.ecs.soton.ac.uk/419/ http://deploy-eprints.ecs.soton.ac.uk/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) Tue, 06 Apr 2010 16:23:57 +0100 Specification of the Dining Cryptographers problem http://deploy-eprints.ecs.soton.ac.uk/215/ http://deploy-eprints.ecs.soton.ac.uk/215/ Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive]