Formal analysis and design of multi-party fair exchange protocols

DOI10.1007/S11432-006-0155-2zbMath1122.68016OpenAlexW2212740592WikidataQ126244877 ScholiaQ126244877MaRDI QIDQ882700

Gaicheng Li, Sihan Qing

Publication date: 24 May 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-006-0155-2

zbMATH Keywords

formal modellogical protocolsecurity requirement

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Network protocols (68M12)

Cites Work

• A formal model of fair exchange protocols
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal analysis and design of multi-party fair exchange protocols