Security Modeling Algorithm Optimization for Smart Contracts in the Digital Economy Based on Blockchain Technology | IEEE Conference Publication | IEEE Xplore