... particular, Feige, Fiat, andShamir[383] adapted the conceptsof interactiveproofs of membershipto interactiveproofs Handbook of Applied Cryptography by A. Menezes, P. van Oorschot and S. Vanstone.§10.2 ... proofs were formalized in 1985 by Gold-wasser, Micali, and Rackoff [481] in the context of an interactive proof of membership of a string x in a language L; they showed that the languages of ... algorithm.2UNIXis a trademark of Bell Laboratories. Handbook of Applied Cryptography by A. Menezes, P. van Oorschot and S. Vanstone.422 Ch. 10 Identification and Entity Authentication of knowledge, including...