【ITニュース解説】Investigating a Forged PDF

PDFファイルは、私たちの日常生活やビジネスにおいて、契約書や請求書、マニュアルなど、様々な重要な情報のやり取りに利用されている。そのため、PDFの真正性、つまり「誰が作ったか」「途中で改ざんされていないか」を保証するデジタル署名は、非常に重要な技術である。この技術によって、文書が確かに本物であると信頼できる仕組みが提供されている。

しかし、デジタル署名が施されたPDFであっても、その真正性が疑われるケースが存在する。ある時、特定のPDFファイルがデジタル署名されていると表示されるにもかかわらず、その内容が不正に改ざんされているのではないかという疑惑が持ち上がった。この疑惑は、PDFファイルの内部構造と、デジタル署名の仕組みに起因する複雑な問題を示している。

PDFのデジタル署名は、ファイル全体ではなく、特定のバイト範囲、つまりファイルのごく一部に対して行われる。署名が施されると、その範囲内のデータが改ざんされていないことを保証できるようになる。しかし、PDFには「増分更新」という機能が存在する。これは、既存のPDFファイルの内容を変更せず、新しい情報をファイルの末尾に追記していく仕組みだ。例えば、閲覧履歴や注釈、フォームへの入力データなどを追加する際に利用される。この増分更新の仕組みは便利である一方で、署名のセキュリティに深刻な影響を与える可能性がある。

なぜなら、デジタル署名が保護するのは、署名が施された時点での特定のバイト範囲だからだ。もし、署名後に増分更新によってその「署名対象範囲外」の領域に悪意のあるデータが追記された場合、元の署名自体は有効なままであっても、実際にPDFビューアで表示される内容が悪意を持って改ざんされる可能性がある。つまり、署名があるにもかかわらず、ユーザーが見る内容が本物ではない、という状況が起こりうるのだ。これは、システムエンジニアがセキュリティを考える上で非常に重要な視点である。

今回のケースでは、問題のPDFファイルに特定の「NULLバイト（\0）」が含まれていることが発見され、これが不正なXRefテーブル（PDFファイル内のオブジェクトの位置を示す目次のようなもの）を生成しているのではないかと疑われた。NULLバイトは、プログラム内でデータの区切りや終端を示すのに使われる特殊な文字だが、PDFの解析プログラム（パーサー）がこれをどのように解釈するかによって、思わぬ挙動を引き起こすことがある。このNULLバイトがXRefテーブルの機能を妨害し、本来とは異なる内容を表示させることで、署名されたPDFが偽造されたように見せかける手法があるのではないかと推測されたのだ。

この疑惑を検証するため、Adobe Acrobat Readerだけでなく、PythonでPDFを処理するためのライブラリ（pdfrwやpypdf）、さらにはqpdfやmupdfといった他のPDF処理ツールが用いられた。これらのツールは、PDFファイルの内部構造を解析し、デジタル署名の有効性を確認したり、不正な構造を検出したりするために使われる。しかし、結果として、それぞれのツールがこの問題のPDFファイルを異なる方法で解釈し、異なる挙動を示すことが判明した。あるツールは「不正なファイル」と判断し、別のツールは「有効な署名がある」と判断する、といった具合だ。このようなツールの解釈の違いは、PDFファイルの仕様が複雑であることと、各ツールの実装が微妙に異なることに起因する。そして、この違いが、セキュリティの脆弱性を生み出す温床となるのだ。

最終的にこの問題のPDFファイルは、悪意のある改ざんではなく、特定のライブラリ（pdfrw）のバグによって意図せず壊れてしまったものであったことが判明した。つまり、デジタル署名自体は正しく施された後、ファイルの増分更新処理の過程で、ライブラリのバグによりファイル構造が壊れてしまったのである。しかし、ここでさらに問題が浮上した。Adobe Acrobat Readerは、ファイルの一部が壊れていても、署名対象範囲内のデータに問題がなければ、デジタル署名を「有効」と判断してしまう場合がある、ということだ。これは、Adobe Readerが署名検証のプロセスにおいて、壊れた部分を無視して、残りの有効な署名データだけを見てしまう可能性を示唆している。

この事例は、PDFのデジタル署名がいかに複雑で、表面的な「署名済み」という表示だけでは真正性を完全に保証できない場合があることを明確に示している。増分更新のようなPDFの標準的な機能が悪用されると、署名が有効であるにもかかわらず、ユーザーが閲覧する内容が改ざんされる「PDFix」や「Shadow Attack」といった既知の攻撃手法も存在することから、この問題は単なるバグに留まらない、より広範なセキュリティ上の課題を含んでいる。

システムエンジニアを目指す者にとって、この一件は、ファイル形式の深層まで理解することの重要性、セキュリティの検証がいかに多角的でなければならないか、そして信頼されているはずの技術にも思わぬ落とし穴があることを教えてくれる。デジタル署名が「有効」と表示されても、その裏にあるファイルの構造や、それを解釈するツールの挙動まで注意深く確認する姿勢が、セキュリティを確保するためには不可欠である。技術を鵜呑みにせず、常にその仕組みを疑い、多角的に検証する思考が、システムの安全性を守る上で極めて重要となるのだ。