Cooperative Game Model of Delegation Computing: Verifier Separated from Calculators | IEEE Conference Publication | IEEE Xplore