Pages that link to "Item:Q2945705"
From MaRDI portal
The following pages link to Alice and Bob Meet Equational Theories (Q2945705):
Displaying 5 items.
- On the semantics of Alice \& Bob specifications of security protocols (Q860900) (← links)
- Deconstructing Alice and Bob (Q2848475) (← links)
- Alice and Bob Meet Equational Theories (Q2945705) (← links)
- Alice and Bob: Reconciling Formal Models and Implementation (Q3460863) (← links)
- Optimization of ProVerif Programs for AKE Protocols (Q6486106) (← links)