scientific article; zbMATH DE number 1759355

MaRDI QIDQ4536296zbMATH OpenFDO

Authors Vitaly Shmatikov, John Mitchell

Publication date 28 November 2002

zbMATH Keywords

fairness guaranteesabusecontract signing protocols

Mathematics Subject Classification ID

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

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.

Cited in

(7)

• Formal analysis of fairness for optimistic multiparty contract signing protocol
• Legally Fair Contract Signing Without Keystones
• scientific article; zbMATH DE number 1418311 (Why is no real title available?)
• A Formal Implementation of Value Commitment
• Formal analysis of FPH contract signing protocol using colored Petri nets
• Mechanical proofs about BW multi-party contract signing protocol
• Finite-state analysis of two contract signing protocols

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)