回答:
現在の暗号化スキームの概要は、Android Webサイトの「Android 3.0での暗号化の実装に関する注意」ページに記載されています。そのページから、使用されている特定のアルゴリズムがそのように示されています。
最初のリリースのファイルシステムに使用される実際の暗号化は、CBCとESSIV:SHA256を使用した128 AESです。
これは現時点で私が見た唯一の公式ドキュメントですが、かなり長くて情報が豊富です。
ええ、AES 128、それは大きな数字ですよね?問題の1つは、ドライブの暗号化に使用されるキーが、携帯電話のロック解除に使用するキーと同じであることです。この小さなキースペースに対してオフラインでブルートフォースを実行するには、合計で5分かかります。
WisperCoreには、より合理的なセキュリティ対策を施したAndroidバージョンが変更されています。