Formal analysis of fairness for optimistic multiparty contract signing protocol

DOI10.1155/2014/983204zbMath1442.94041OpenAlexW2082231439WikidataQ59054579 ScholiaQ59054579MaRDI QIDQ2336896

Guangquan Xu, Xiaoru Li, Jing Hu, Xiao-Hong Li, Zhi-Yong Feng

Publication date: 19 November 2019

Published in: Journal of Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2014/983204

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Uses Software

• PAT

Cites Work

• Fair multi-party contract signing using private contract signatures
• Proving More Observational Equivalences with ProVerif
• Financial Cryptography and Data Security

This page was built for publication: Formal analysis of fairness for optimistic multiparty contract signing protocol