Pages that link to "Item:Q540688"
From MaRDI portal
The following pages link to Collaborative planning with confidentiality (Q540688):
Displaying 6 items.
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- Collaborative planning with confidentiality (Q540688) (← links)
- On the complexity of verification of time-sensitive distributed systems (Q2154017) (← links)
- Bounded memory protocols (Q2339157) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
