Interactive proof systems: Provers that never fail and random selection | IEEE Conference Publication | IEEE Xplore