The following pages link to (Q4415096):
Displaying 9 items.
- A framework for modular ERDF ontologies (Q360258) (← links)
- On the verification of security-aware E-services (Q429592) (← links)
- A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials (Q692280) (← links)
- Fibred security language (Q1037607) (← links)
- Analysis of dynamic policies (Q2482441) (← links)
- Access control in a core calculus of dependency (Q2864145) (← links)
- Component-Based Security Policy Design with Colored Petri Nets (Q3184744) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- A Linear Logic of Authorization and Knowledge (Q5862524) (← links)