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 the normal view instead:
scientific article; zbMATH DE number 6067196
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.7820345163345337
0 references
0.7653163075447083
0 references
0.7605919241905212
0 references
0.7398615479469299
0 references
0.7318569421768188
0 references
