CC（ISO/IEC 15408）のEAL7が要求する保証レベルはどれか。

2026年3月5日

EAL7は最高レベルの保証であり、数学的な形式的検証（Formal Verification）を設計およびテスト段階で要求する。

TPM（Trusted Platform Module）が提供する「Remote Attestation」機能の目的はどれか。

システム要件定義において、機能要件と非機能要件の違いとして正しいものはどれか。