Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Abstractions of non-interference security: probabilistic versus possibilistic |
scientific article |
Statements
Abstractions of non-interference security: probabilistic versus possibilistic (English)
0 references
25 March 2015
0 references
non-interference security
0 references
probabilistic non-interference
0 references
program semantics
0 references
program refinement
0 references
