EAL4的标准是什么？
术语“计算机安全”的一种用法是指用于实现安全操作系统的技术。20世纪80年代，美国国防部（DoD）采用了“橙皮书”标准，但现行的国际标准ISO/IEC 15408，“通用标准”定义了一系列逐步严格的评估保证水平。许多常见的操作系统都符合EAL4标准，即“有系统地设计、测试和评审”，但最高级别所需的正式验证意味着它们并不常见。EAL6（“半正式验证设计和测试”）系统的一个例子是Integrity-178B，它用于空客A380和几架军用飞机。
系统地设计、测试和评审