The Knowledge Complexity of Interactive Proof Systems Вид публикации: Journal Article Авторы: Goldwasser, S. Micali; C. Rackoff Источник: SIAM J. Comput., Volume 18, № 1, p.186208 (1989)