Pages that link to "Item:Q3522044"
From MaRDI portal
The following pages link to Variations in Access Control Logic (Q3522044):
Displaying 7 items.
- A theory of permission based on the notion of derogation (Q975881) (← links)
- Fibred security language (Q1037607) (← links)
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- Game Semantics for Access Control (Q2805155) (← links)
- A Conditional Constructive Logic for Access Control and Its Sequent Calculus (Q3010367) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
