HOMELv005 「形式的検証（Formal Verification）」が最も推奨されるシステムはどれか。 2026年3月5日 形式的検証は数学的証明を用いて正当性を確認するコストの高い手法であり、人命や国家機密に関わる高い保証レベルが必要なシステムに適している。 量子コンピュータの出現によって最も脅威を受けるとされる暗号技術はどれか。 NIST SP 800-137に基づくISCM（Information Security Continuous Monitoring）戦略の最初のステップはどれか。
