원전서지만 확인
The Knowledge Complexity of Interactive Proof SystemsShafi Goldwasser, Silvio Micali, Charles Rackoff · 1989SIAM Journal on Computing 18(1), 186–208쪽 (1989) · 학회 발표 STOC 1985 (Proceedings of the 17th Annual ACM Symposium on Theory of Computing), 291–304쪽증명이 「참이라는 사실」 말고 얼마나 많은 지식을 넘겨주는지를 재는 이론을 세우고 영지식 증명을 정의한 논문이다. 대화형 증명 체계(IP)의 정의가 여기서 나온다. 2-4 의 IP = PSPACE 를 읽고 「대화형 증명」이라는 개념의 출전을 확인하려는 독자, 암호와 복잡도의 접점을 다루려는 글에 필요하다.
확인:학술지판과 학회판 모두 Crossref 의 DOI 등록 기록으로 확인하고 학술지판 기록의 초록을 읽었다.