Pages that link to "Item:Q437028"
From MaRDI portal
The following pages link to State and progress in strand spaces: proving fair exchange (Q437028):
Displaying 5 items.
- Secure key management policies in strand spaces (Q2154015) (← links)
- Probabilistic annotations for protocol models. Dedicated to Joshua Guttman (Q2154019) (← links)
- Formal modeling and analysis of fairness characterization of E-commerce protocols (Q2336155) (← links)
- Stateful applied pi calculus: observational equivalence and labelled bisimilarity (Q2397042) (← links)
- Financial Cryptography and Data Security (Q5712254) (← links)