A formal model of fair exchange protocols

From MaRDI portal

Publication:866173

Jump to:navigation, search

zbMath1187.94036MaRDI QIDQ866173

Gaicheng Li, Sihan Qing

Publication date: 20 February 2007

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

zbMATH Keywords

events global relation exchanged item local causal relation local temporal relation security goals

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Related Items (2)

Formal verification technique for grid service chain model and its application ⋮ Formal analysis and design of multi-party fair exchange protocols

This page was built for publication: A formal model of fair exchange protocols

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:866173&oldid=12820821"