Multiparty Contract Signing Over a Reliable Network
From MaRDI portal
Publication:2804932
DOI10.1016/J.ENTCS.2005.09.042zbMath1335.68015OpenAlexW2002912242MaRDI QIDQ2804932
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
Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Network protocols (68M12) Authentication, digital signatures and secret sharing (94A62)
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Formal analysis of multiparty contract signing
- Easy impossibility proofs for distributed consensus problems
- Example verifications using alphabet axioms
- Advances in Cryptology - EUROCRYPT 2004
- Information and Communications Security
- Perspectives of System Informatics
- The parallel composition of uniform processes with data
This page was built for publication: Multiparty Contract Signing Over a Reliable Network