ハードウェアセキュリティ

上のパスワードの比較の関数に潜む問題と、対策の組み合わせとして正しいものはどれか。

int check(const char *in, const char *pw, int n) {
    for (int i = 0; i < n; i++)
        if (in[i] != pw[i]) return 0;
    return 1;
}
  1. Anが大きいと計算の結果が誤る。比較の前にnを小さくする
  2. B最初の不一致で終わるので、何文字目まで合っているかが処理時間から分かる。不一致があっても最後まで比べ、結果をまとめて返す
  3. C問題はなく、このままで安全である
答えと解説を見る

正解：B. 最初の不一致で終わるので、何文字目まで合っているかが処理時間から分かる。不一致があっても最後まで比べ、結果をまとめて返す

この関数は1文字目が違えばすぐ、1文字目が合っていれば2文字目を比べてから戻るので、合っている文字の数だけ処理時間が長くなります。攻撃者は1文字ずつ候補を試し、時間が長くなったものを選べば、全部の組み合わせを試さずにパスワードを推測できます。すべての文字の違いを排他的論理和などでまとめて最後に判定すれば、時間は合っている文字の数によらず一定になります。

  • A. 結果は正しいですが、時間から情報が漏れます。
  • B. 正しい。時間の差を作らないことが大切です。
  • C. タイミング攻撃に弱い書き方です。
この分野を解く 分野ページへ

ハードウェアセキュリティのほかの問題

  1. キャッシュを使ったサイドチャネル攻撃が成り立つ主な理由はどれか。
  2. Spectreと呼ばれる投機的実行の脆弱性の原理として正しいものはどれか。
  3. 投機的に実行された命令の結果が取り消されても、Spectreのような攻撃で情報が漏れる理由として正しいものはどれか。
  4. 一部のCPUで問題になったMeltdownと呼ばれる脆弱性の原理として正しいものはどれか。
  5. Meltdownへのソフトウェアの対策として導入されたKPTI(カーネルページテーブル分離)の考え方として正しいものはどれか。