コールドブート攻撃：Haskellで機密情報を拘束する方法

Question

プログラムが終了した後で鍵素材が確実にメモリから消去されるようにする方法はありますか？手動で消去してプログラムを実行し続けることができれば、さらに優れたものになります。 Haskellは自動ガベージコレクションを使用しています（空きメモリがある場合はまったく発生しないかもしれません）。私は2番目のタスクが不可能であると仮定します。その目的に役立つものがFFIを使用して実装されるか？

Answer 1

GHCは、不要になったときにメモリをOSに返すことができるため、終了時にメモリを消去するだけでは目標を達成できません。ガベージコレクションは複雑なビジネスですが、一般に、安全なデータの古いコピーがOSのメモリプールに返されないようにする方法はありません。

しかし、OSは別のプロセスに割り当てる前にメモリを空白にします。あなたのメモリを安全に保つためにOSを信頼しないなら、あなたはもっと大きな問題を抱えています。

「信頼できない」とは何を意味するのかよく分かりません。 Haskell GCは信頼できるものですが、プログラムでは何が起こっているのかがほとんど分かりません。

しかし、大きくて複雑なデータ構造ではなく、暗号化キーに関心がある場合、人生は少し良くなります。 Foreign Pointerを使用して、キーのメモリ位置をポイントし、そのビットをファイナライザの一部にブランキングすることができます。メモリブロックを割り当てるコードを書くこともできます。mlocksとそれに続いて、要求に応じてそのメモリのキーサイズのチャンクに外部ポインタを渡します。ファイナライザはキーをワイプします。それはおそらくあなたが望むことをするでしょう。

ForeignPtrのポイントは、GCによって移動または再解釈されないことが保証されていることです。