Double Verifiably Encrypted Signature-Based Contract Signing Protocol. - Chaoping Wang; Aimin Yang; Yan Sun (ICICA (LNCS), 2010)