Pages that link to "Item:Q6044108"
From MaRDI portal
The following pages link to Reasoning about cryptographic protocols in the spi calculus (Q6044108):
Displayed 7 items.
- Model checking Petri nets with names using data-centric dynamic systems (Q315291) (← links)
- A calculus for cryptographic protocols: The spi calculus (Q1283776) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- A comparison of three authentication properties. (Q1853750) (← links)
- Joshua Guttman: pioneering strand spaces (Q2154021) (← links)
- Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols (Q2841265) (← links)
- Security, Cryptography and Directed Bigraphs (Q3540426) (← links)