Runtime Enforcement of Security Policies on Black Box Reactive Programs (Q2819788)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Runtime Enforcement of Security Policies on Black Box Reactive Programs |
scientific article |
Statements
Runtime Enforcement of Security Policies on Black Box Reactive Programs (English)
0 references
29 September 2016
0 references
black box mechanism
0 references
hypersafety policy
0 references
reactive program
0 references
runtime enforcement
0 references
