scientific article; zbMATH DE number 1759355

zbMATH Open0999.68569MaRDI QIDQ4536296FDOQ4536296

Authors: Vitaly Shmatikov, John Mitchell 

Publication date: 28 November 2002

Title of this publication is not available (Why is that?)

Recommendations

• Finite-state analysis of two contract signing protocols
• Publication:4941873
• Formal analysis of fairness for optimistic multiparty contract signing protocol
• A Dolev-Yao-Based Definition of Abuse-Free Protocols
• Contract signing, optimism, and advantage.

zbMATH Keywords

fairness guaranteesabusecontract signing protocols

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Authentication, digital signatures and secret sharing (94A62)

Cited In (7)

• Mechanical proofs about BW multi-party contract signing protocol
• Title not available (Why is that?)
• Formal analysis of FPH contract signing protocol using colored Petri nets
• A Formal Implementation of Value Commitment
• Finite-state analysis of two contract signing protocols
• Formal analysis of fairness for optimistic multiparty contract signing protocol
• Legally Fair Contract Signing Without Keystones

This page was built for publication:

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