Symbolic algorithmic verification of intransitive generalized noninterference (Q439858)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Symbolic algorithmic verification of intransitive generalized noninterference |
scientific article; zbMATH DE number 6067196
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic algorithmic verification of intransitive generalized noninterference |
scientific article; zbMATH DE number 6067196 |
Statements
Symbolic algorithmic verification of intransitive generalized noninterference (English)
0 references
17 August 2012
0 references
intransitive generalized noninterference
0 references
quantified Boolean satisfiability
0 references
symbolic verification
0 references
multi-level security
0 references
