Pages that link to "Item:Q432140"
From MaRDI portal
The following pages link to Compositional refinement in agent-based security protocols (Q432140):
Displaying 6 items.
- Probability timed automata for investigating communication processes (Q747506) (← links)
- On the use of data refinement in the development of secure communications systems (Q1402458) (← links)
- Security properties: two agents are sufficient (Q1887730) (← links)
- Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)
- Information Security (Q5492777) (← links)
- Theory of Cryptography (Q5901780) (← links)