HOMELv024 量子鍵配送(QKD)が傍受を検知できる基本原理は何か。 2026年3月5日 QKDはハイゼンベルクの不確定性原理などを利用し、鍵配送中に第三者が光子を観測(盗聴)すると量子状態が変化し、エラー率が上昇することで盗聴を確実に検知できる。 高保証システムにおいて「形式手法(Formal Methods)」がテストよりも優れている点は何か。 暗号モジュールに対する「サイドチャネル攻撃」の例として適切なものはどれか。