Interactive proof systems with polynomially bounded strategies | IEEE Conference Publication | IEEE Xplore