A vulnerability scanning and verification system for power information systems | IEEE Conference Publication | IEEE Xplore