Synthesis of opaque systems with static and dynamic masks (Q453510)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Synthesis of opaque systems with static and dynamic masks |
scientific article |
Statements
Synthesis of opaque systems with static and dynamic masks (English)
0 references
27 September 2012
0 references
security
0 references
confidentiality property
0 references
opacity
0 references
synthesis
0 references
dynamic observation
0 references
0 references
