Pages that link to "Item:Q5862524"
From MaRDI portal
The following pages link to A Linear Logic of Authorization and Knowledge (Q5862524):
Displaying 5 items.
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- Game semantics for access control (Q2805155) (← links)