Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour (Q5044295)
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 7606530
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour |
scientific article; zbMATH DE number 7606530 |
Statements
24 October 2022
0 references
0.8143129944801331
0 references
0.7789832949638367
0 references
0.7731910943984985
0 references
0.7654944658279419
0 references
