The Knowledge Complexity of Interactive Proof-Systems (Extended Abstract)

著者: Shafi Goldwasser, Silvio Micali, Charles Rackoff - ACM Symposium on Theory of Computing, STOC 1985 被引用: 54