Multiparty contract signing over a reliable network
DOI10.1016/J.ENTCS.2005.09.042zbMATH Open1335.68015OpenAlexW2002912242MaRDI QIDQ2804932FDOQ2804932
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
Recommendations
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)
Cites Work
- Title not available (Why is that?)
- Perspectives of System Informatics
- Advances in Cryptology - EUROCRYPT 2004
- Title not available (Why is that?)
- Easy impossibility proofs for distributed consensus problems
- Title not available (Why is that?)
- Formal analysis of multiparty contract signing
- Algebraic process verification.
- The parallel composition of uniform processes with data
- Example verifications using alphabet axioms
- Information and Communications Security
Cited In (5)
Uses Software
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)