Model checking the observational determinism security property using PROMELA and SPIN (Q903490)
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: Model checking the observational determinism security property using PROMELA and SPIN |
scientific article; zbMATH DE number 6526760
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Model checking the observational determinism security property using PROMELA and SPIN |
scientific article; zbMATH DE number 6526760 |
Statements
Model checking the observational determinism security property using PROMELA and SPIN (English)
0 references
6 January 2016
0 references
model checking
0 references
linear temporal logic
0 references
information flow security
0 references
observational determinism
0 references
SPIN
0 references
PROMELA
0 references
0.8664754
0 references
0.84884274
0 references
0.84136045
0 references
0.83745515
0 references
0.83470285
0 references
0.8322853
0 references
0.8316685
0 references
