Pages that link to "Item:Q860896"
From MaRDI portal
The following pages link to Compositional analysis of contract-signing protocols (Q860896):
Displaying 10 items.
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- Formal analysis of multiparty contract signing (Q861699) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Analytical signatures and proper actions (Q2236484) (← links)
- A framework for compositional verification of security protocols (Q2482454) (← links)
- The ASW protocol revisited: a unified view (Q2848042) (← links)
- Protocol composition logic (PCL) (Q2864155) (← links)
- Deciding strategy properties of contract-signing protocols (Q2946605) (← links)
- The Layered Games Framework for Specifications and Analysis of Security Protocols (Q5445502) (← links)
- STACS 2005 (Q5710671) (← links)