Pages that link to "Item:Q3179281"
From MaRDI portal
The following pages link to SPEC: An Equivalence Checker for Security Protocols (Q3179281):
Displaying 8 items.
- SPEC (Q32424) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- (Q5009710) (← links)
- (Q5089298) (← links)
- (Q5155663) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
- DeepSec: deciding equivalence properties for security protocols -- improved theory and practice (Q6566464) (← links)
