Pages that link to "Item:Q5862671"
From MaRDI portal
The following pages link to Enforcing Non-safety Security Policies with Program Monitors (Q5862671):
Displaying 7 items.
- Enforcement and validation (at runtime) of various notions of opacity (Q896497) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- Execution monitoring enforcement under memory-limitation constraints (Q2482440) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Security Policies Enforcement Using Finite Edit Automata (Q5166611) (← links)
- Bidirectional Runtime Enforcement of First-Order Branching-Time Properties (Q5883741) (← links)
- Real-time policy enforcement with metric first-order temporal logic (Q6109435) (← links)