On Refinement-Closed Security Properties and Nondeterministic Compositions (Q5178974)
From MaRDI portal
scientific article; zbMATH DE number 6416534
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Refinement-Closed Security Properties and Nondeterministic Compositions |
scientific article; zbMATH DE number 6416534 |
Statements
On Refinement-Closed Security Properties and Nondeterministic Compositions (English)
0 references
18 March 2015
0 references
refinement-closed security properties
0 references
nondeterminism
0 references
information flow
0 references
causation
0 references
CSP
0 references
