Concurrent Zero-Knowledge - Rosen, Alon; Abadi, Martin; Goldreich, Oded; Anderson, Ross (Springer Berlin Heidelberg, 2006)