Concurrent zero-knowledge - Rosen, Alon. (Information security and cryptography,)