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)
Full text not available from this repository.
| Item Type: | Article |
|---|---|
| Subjects: | Methodology > Security |
| ID Code: | 414 |
| Deposited By: | Thai Son Hoang |
| Deposited On: | 09 Jul 2012 14:28 |
| Last Modified: | 09 Jul 2012 14:29 |
Repository Staff Only: item control page
