On the complexity of space bounded interactive proofs | IEEE Conference Publication | IEEE Xplore