Pages that link to "Item:Q432140"

The following pages link to Compositional refinement in agent-based security protocols (Q432140):

Displaying 2 items.

• Probability timed automata for investigating communication processes (Q747506) (← links)
• Abstractions of non-interference security: probabilistic versus possibilistic (Q2018754) (← links)