Pages that link to "Item:Q860900"
From MaRDI portal
The following pages link to On the semantics of Alice \& Bob specifications of security protocols (Q860900):
Displaying 10 items.
- Distributed temporal logic for the analysis of security protocol models (Q549724) (← links)
- Compiling and securing cryptographic protocols (Q990127) (← links)
- Update semantics of security protocols (Q2386105) (← links)
- A formal semantics for protocol narrations (Q2463562) (← 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)
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
- On the (Non-)Equivalence of UC Security Notions (Q5200576) (← links)
- The Evolution of Jolie (Q5256366) (← links)