Protocols for interactive e-proof (2000)

by David Aspinall