Science in China Series F Information SciencesFormal analysis and design of multi-party fair exchange protocolsSihan Qing, LI Gai-chengPublished Apr 1, 2006• 0 citationsPublisherDOI10.1007/s11432-006-0155-2