The following pages link to Pattern-matching spi-calculus (Q2500522):
Displayed 5 items.
- Automated type-based analysis of injective agreement in the presence of compromised principals (Q492914) (← links)
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- A formal semantics for protocol narrations (Q2463562) (← links)
- A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract) (Q2830029) (← links)