Pages that link to "Item:Q2864145"
From MaRDI portal
The following pages link to Access control in a core calculus of dependency (Q2864145):
Displaying 6 items.
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- Raccoon -- an infrastructure for managing access control in CORBA (Q2758942) (← links)
- Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Dynamic Access Control in a Concurrent Object Calculus (Q5756617) (← links)