Pages that link to "Item:Q462499"
From MaRDI portal
The following pages link to Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499):
Displaying 6 items.
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- On composition of bounded-recall plans (Q2046034) (← 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)
