The following pages link to Game semantics for access control (Q2805155):
Displaying 9 items.
- Axiomatizations of Banzhaf permission values for games with a permission structure (Q532748) (← links)
- Game semantics for dependent types (Q1641014) (← links)
- Non-zero-sum cooperative access control game model with user trust and permission risk (Q1736147) (← links)
- Noninterference in a predicative polymorphic calculus for access control (Q2339144) (← links)
- A System-Level Game Semantics (Q3178283) (← links)
- Games for Dependent Types (Q3449463) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- Payoffs, Intensionality and Abstraction in Games (Q4922074) (← links)
- Disentangling parallelism and interference in game semantics (Q6635506) (← links)