Proving possession of arbitrary secrets while not giving them away

new protocols and a proof in gny logic

2006

Wouter Teepe

Synthese 149 (2)