Repository | People

155990

References

Wouter Teepe

Proving possession of arbitrary secrets while not giving them away: new protocols and a proof in gny logic

2006

Synthese 149/2

Open Access Link