The Automatic Verification and Improvement of SET Protocol Model with SMV | IEEE Conference Publication | IEEE Xplore