The following pages link to CONCUR 2003 - Concurrency Theory (Q5900577):
Displaying 10 items.
- State and progress in strand spaces: proving fair exchange (Q437028) (← links)
- A rational framework for secure communication (Q497644) (← links)
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- Compositional analysis of contract-signing protocols (Q860896) (← links)
- Formal analysis of multiparty contract signing (Q861699) (← links)
- Finite-state analysis of two contract signing protocols (Q1603658) (← links)
- Fair and optimistic contract signing based on quantum cryptography (Q2010992) (← links)
- A rational approach to cryptographic protocols (Q2470206) (← links)
- Contract signing, optimism, and advantage (Q2484408) (← links)
- Synthesizing Protocols for Digital Contract Signing (Q2891408) (← links)