Industrial deployment of system engineering methods providing high dependability and productivity
 

Items where Subject is "Methodology > Security"

Up a level
Export as [feed] Atom [feed] EPP RSS 2.0 [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 4.

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)

Hoang, Thai Son (2012) Security Invariants in Discrete Transition Systems. Formal Aspects of Computing . (In Press)

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)

Hoang, Thai Son Specification of the Dining Cryptographers problem. [Rodin Archive]

This list was generated on Wed Jan 17 07:49:22 2018 GMT.
Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Deploy-Project - All right reserved