Verification and Analysis of Security Hardening Operating System for Smart Power Terminals | IEEE Conference Publication | IEEE Xplore