Pages that link to "Item:Q2864145"

The following pages link to Access Control in a Core Calculus of Dependency (Q2864145):

Displaying 4 items.

• Permission to speak: a logic for access control and conformance (Q615900) (← links)
• A framework for linear authorization logics (Q2449046) (← links)
• Logic in Access Control (Tutorial Notes) (Q3184786) (← links)
• Constructive Modalities with Provability Smack (Q5255796) (← links)