this should help: http://en.wikipedia.org/wiki/Interactive_proof_system