Science China Information SciencesFormal analysis and design of multi-party fair exchange protocolsQing Qing, Sihan, LI ., GaichengPublished Jan 1, 2006• 0 citationsOpenAlex