Multiparty contract signing over a reliable network

DOI10.1016/J.ENTCS.2005.09.042MaRDI QIDQ2804932zbMATH OpenOpenAlexFDO

Authors Simona Orzan, Erik de Vink

Publication date 6 May 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.09.042

zbMATH Keywords

trusted third partymultiparty contract signing protocols

Mathematics Subject Classification ID

Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Authentication, digital signatures and secret sharing (94A62) Network protocols (68M12)

Recommendations

• Improved Multi-party Contract Signing
• Formal analysis of multiparty contract signing
• scientific article; zbMATH DE number 2044546
• Fair multi-party contract signing using private contract signatures
• Finite-state analysis of two contract signing protocols

Cites work

• scientific article; zbMATH DE number 1670849 (Why is no real title available?)
• scientific article; zbMATH DE number 1796138 (Why is no real title available?)
• scientific article; zbMATH DE number 1418311 (Why is no real title available?)
• Advances in Cryptology - EUROCRYPT 2004
• Algebraic process verification.
• Easy impossibility proofs for distributed consensus problems
• Example verifications using alphabet axioms
• Formal analysis of multiparty contract signing
• Information and Communications Security
• Perspectives of System Informatics
• The parallel composition of uniform processes with data

Cited in

(7)

• Mechanical proofs about BW multi-party contract signing protocol
• Extending concurrent signature to multiple parties
• scientific article; zbMATH DE number 2044546 (Why is no real title available?)
• On the efficiency of multi-party contract signing protocols
• When can we trust a third party? A soundness perspective
• How to sign paper contracts? Conjectures and evidence related to equitable and efficient collaborative task scheduling
• New Multiparty Signature Schemes for Network Routing Applications

Describes a project that uses

Uses Software

• mCRL

This page was built for publication: Multiparty contract signing over a reliable network

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2804932)