HOMELv010 現在、NISTが標準化を進めている「耐量子計算機暗号(PQC)」の主な数学的基盤の一つはどれか。 2026年3月5日 NISTのPQC選定プロセスでは、量子コンピュータ耐性を持つ候補として、主に格子暗号(Lattice-based)や符号ベース暗号などが採用されている。 重要インフラにおける「システミックリスク(Systemic Risk)」の説明として最も適切なものはどれか。 「モデル検査(Model Checking)」が提供する検証能力の特徴はどれか。