Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic

Wouter Teepe. Proving Possession of Arbitrary Secrets While not Giving them Away: New Protocols and a Proof in GNY Logic. Synthese, 149(2):409-443, 2006. [doi]

Abstract

Abstract is missing.