Heuristics for safety and security constraints (Q2864162)
From MaRDI portal
!
WARNING
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 6236118
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Heuristics for safety and security constraints |
scientific article; zbMATH DE number 6236118 |
Statements
6 December 2013
0 references
static analysis
0 references
flow logic
0 references
least fixed-point logic
0 references
security properties
0 references
Bell-Lapadula mandatory access control
0 references
Heuristics for safety and security constraints (English)
0 references
0.7144140601158142
0 references
0.7043899297714233
0 references
0.6888454556465149
0 references
