Abstract
Interactive proof systems allow a resource-bounded verifier to decide an intractable language (or compute a hard function) by communicating with a pow......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
