Pages that link to "Item:Q2517827"
From MaRDI portal
The following pages link to ConSpec - A formal language for policy specification (Q2517827):
Displaying 5 items.
- ConSpec (Q14555) (← links)
- Gate automata-driven run-time enforcement (Q418362) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- Security monitor inlining and certification for multithreaded Java (Q5740632) (← links)
