Pages that link to "Item:Q2275899"
From MaRDI portal
The following pages link to Formal enforcement of security policies on concurrent systems (Q2275899):
Displaying 6 items.
- A novel logic-based automatic approach to constructing compliant security policies (Q439715) (← links)
- The enforcement of security policies for computation (Q1248369) (← links)
- Formal enforcement of security policies on concurrent systems (Q2275899) (← links)
- ConSpec - A formal language for policy specification (Q2517827) (← links)
- Enforceable Security Policies Revisited (Q2894329) (← links)
- Formal Enforcement of Security Policies on Parallel Systems with Risk Integration (Q2947076) (← links)