Mechanical proofs about BW multi-party contract signing protocol

DOI10.1007/BF02831810zbMath1119.68429OpenAlexW1482090970MaRDI QIDQ3443205

Ningrong Zhang, Yuan Yuan Wang, Xing-Yuan Zhang

Publication date: 1 June 2007

Published in: Wuhan University Journal of Natural Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02831810

zbMATH Keywords

formal verificationinductive approachmulti-party contract signing protocol

Mathematics Subject Classification ID

Cryptography (94A60)

Uses Software

• Unnamed Item
• Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Formal analysis of multiparty contract signing
• Isabelle/HOL. A proof assistant for higher-order logic
• Finite-state analysis of two contract signing protocols

This page was built for publication: Mechanical proofs about BW multi-party contract signing protocol