IEC TR 63415:2023 Nuclear Power plants - Instrumentation and control systems - Use of formal security models for I&C security architecture design and assessment
2023IEC TR 63415:2023 Nuclear Power plants - Instrumentation and control systems - Use of formal security models for I&C security architecture design and assessment