Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 1993/01/25 Vol. E76-ANo. 1pp. 23-30 Type of Manuscript: Special Section PAPER (Special Section on Cryptography and Information Security) Category: Keyword: zero-knowledge interactive proof system, language membership, composite numbers,