Page 85 in Schneier's "Applied Cryptography" begins a good introduction to zero knowledge proofs and such.