Pages that link to "Item:Q3613438"
From MaRDI portal
The following pages link to Specifying and Reasoning About Dynamic Access-Control Policies (Q3613438):
Displayed 6 items.
- A novel logic-based automatic approach to constructing compliant security policies (Q439715) (← links)
- A metamodel of access control for distributed environments: applications and properties (Q462495) (← links)
- A graph-based framework for the analysis of access control policies (Q2358699) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- Component-Based Security Policy Design with Colored Petri Nets (Q3184744) (← links)
- Termination of Priority Rewriting (Q3618597) (← links)