An Effective Verifiable Database Protocol in Severe Untrusted Environment | IEEE Conference Publication | IEEE Xplore