Security design of remote maintenance system for nuclear power plants based on ISO/IEC 15408 | IEEE Conference Publication | IEEE Xplore