Mechanical proofs about BW multi-party contract signing protocol
From MaRDI portal
Publication:3443205
DOI10.1007/BF02831810zbMath1119.68429MaRDI QIDQ3443205
Yuan Yuan Wang, Xing-Yuan Zhang, Ningrong Zhang
Publication date: 1 June 2007
Published in: Wuhan University Journal of Natural Sciences (Search for Journal in Brave)
94A60: Cryptography
Uses Software
Cites Work