This document is unfortunately not available for download at the moment.
(2006) Synthese 149 (2).
Proving possession of arbitrary secrets while not giving them away
new protocols and a proof in gny logic
Wouter Teepe
pp. 409-443
Not implemented yet !