Noninterference through flow analysis (Q4676159)
From MaRDI portal
scientific article; zbMATH DE number 2164312
Language | Label | Description | Also known as |
---|---|---|---|
English | Noninterference through flow analysis |
scientific article; zbMATH DE number 2164312 |
Statements
Noninterference through flow analysis (English)
0 references
3 May 2005
0 references