Non-interference assessment in colored net systems via integer linear programming (Q6193462)
From MaRDI portal
scientific article; zbMATH DE number 7804496
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-interference assessment in colored net systems via integer linear programming |
scientific article; zbMATH DE number 7804496 |
Statements
Non-interference assessment in colored net systems via integer linear programming (English)
0 references
13 February 2024
0 references
information leak
0 references
non-interference
0 references
colored net systems (CNSs)
0 references
integer linear programming
0 references
0 references
0 references
