Quantitative information flow as safety and liveness hyperproperties (Q5858726)
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 7333241
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Quantitative information flow as safety and liveness hyperproperties |
scientific article; zbMATH DE number 7333241 |
Statements
14 April 2021
0 references
0.9999991059303284
0 references
0.8205327391624451
0 references
0.7835057377815247
0 references
0.7528659701347351
0 references
0.7518395781517029
0 references
