ベラクリプト

ベラクリプト

Windows 10 上の VeraCrypt 1.17
開発者	IDRIX（フランス、パリに拠点を置く） [1]
初回リリース	2013年6月22日; 11年前 ( 2013-06-22 )
安定版リリース	1.26.15 (2024年9月2日; 2か月前[2] ) [±] ( 2024-09-02 )
リポジトリ	www.veracrypt.fr/code/VeraCrypt/
書かれた	C、C++、アセンブリ
オペレーティング·システム	Windows 10以降 Windows Server 2016 – Windows Server 2019 macOS 12以降 リナックス フリーBSD
プラットフォーム	IA-32、x86-64、AArch64およびarmhf
利用可能	42言語[3]
タイプ	ディスク暗号化ソフトウェア
ライセンス	Apache License 2.0およびTrueCrypt License 3.0のマルチライセンス[4]
Webサイト	www.veracrypt.fr/en/Home.html

VeraCryptは、オンザフライ暗号化（OTFE）用の無料のオープンソース ユーティリティです。^{[5]このソフトウェアは、通常のディスクと同じように機能する仮想暗号化ディスクをファイル内で作成できます。また、}パーティション^[6]または（Windowsの場合）起動前認証を使用してストレージデバイス全体を暗号化することもできます。^[7]

VeraCryptは廃止されたTrueCryptプロジェクトのフォークです。^[8]最初にリリースされたのは2013年6月22日です。多くのセキュリティ改善が実装され、TrueCryptコード監査内の懸念事項が対処されました。VeraCryptには、オリジナルの暗号化ハッシュ関数と暗号の最適化が含まれており、最新のCPUでのパフォーマンスが向上します。

VeraCryptは、AES、Serpent、Twofish、Camellia、Kuznyechikを暗号として採用しています。バージョン1.19では、セキュリティ監査に応じてMagma暗号の使用を中止しました。 ^{[9]さらなるセキュリティのために、10種類の}カスケードアルゴリズムの組み合わせが利用可能です。^[10]

• AES-Twofish について
• AES–Twofish–Serpent
• カメリア・クズニェチク
• カメリア・サーペント
• クズニェチク-AES
• クズニェチク – 蛇 – 椿
• クズニェチク・トゥーフィッシュ
• 蛇–AES
• サーペント–トゥーフィッシュ–AES
• 2匹の魚 - 蛇

VeraCryptで使用できる暗号ハッシュ関数は、BLAKE2s-256、SHA-256、SHA-512、Streebog、Whirlpoolです。^{[11] VeraCryptは以前は}RIPEMD-160をサポートしていましたが、バージョン1.26で削除されました。^[12]

VeraCryptのブロック暗号の動作モードはXTSです。^{[13] 512}ビットソルトを持つPBKDF2を使用して、ヘッダーキーとセカンダリヘッダーキー（XTSモード）を生成します。デフォルトでは、使用される基礎ハッシュ関数と、システム暗号化か非システム暗号化かに応じて、200,000〜500,000回の反復が行われます。^[14]ユーザーは、それぞれ2,048と16,000から開始するようにカスタマイズできます。^[14]

• VeraCrypt開発チームは、TrueCryptストレージフォーマットが国家安全保障局（NSA）の攻撃に対して脆弱すぎると考え、TrueCryptと互換性のない新しいフォーマットを作成した。VeraCryptバージョン1.26.5より前は、TrueCryptフォーマットのボリュームを開いて変換することができる。^{[15] [16]}バージョン1.26.5以降、TrueCryptとの互換性は失われている。^[17]
• 2015年9月29日に公開されたTrueCryptの独立セキュリティ監査では、TrueCryptのWindowsインストールドライバに2つの脆弱性があり、攻撃者がDLLハイジャックを介して任意のコードを実行したり権限を昇格したりできることが判明しました。^[18]これは2016年1月にVeraCryptで修正されました。^[19]
• TrueCrypt はシステムパーティションにPBKDF2 - RIPEMD-160アルゴリズムの 1,000 回の反復を使用しますが、VeraCrypt はデフォルトで 200,000 回の反復 ( SHA-256、BLAKE2s-256、Streebog ) または 500,000 回の反復 ( SHA-512、Whirlpool ) を使用します (それぞれユーザーが 2,048 または 16,000 までカスタマイズ可能)。^[14]標準コンテナおよびその他のパーティションの場合、VeraCrypt は選択したハッシュアルゴリズムに関係なくデフォルトで 500,000 回の反復を使用します (ユーザーは 16,000 までカスタマイズ可能)。^[14]これらのデフォルト設定により、VeraCrypt は暗号化されたパーティションを開くのが遅くなりますが、パスワード推測攻撃も遅くなります。^[20]
• さらに、バージョン 1.12 以降では、「Personal Iterations Multiplier」(PIM) と呼ばれる新機能により、ヘッダー キー導出関数で使用される反復回数を制御するためのパラメータが提供され、ブルート フォース攻撃がさらに困難になる可能性があります。VeraCrypt は、セキュリティを向上させるために適切な PIM 値を使用しますが、^[21]ユーザーはセキュリティを強化するためにより高い値を指定できます。この機能の主な欠点は、暗号化されたアーカイブを開くプロセスがさらに遅くなることです。^{[21] [22] [23] [24]}
• Windows のブートローダーの脆弱性が修正され、さまざまな最適化も行われました。開発者は、システム ブート暗号化オプションに SHA-256 のサポートを追加し、ShellExecute のセキュリティ問題も修正しました。LinuxおよびmacOSユーザーは、セクター サイズが 512 を超えるハード ドライブのサポートの恩恵を受けます。Linux では、ボリュームのNTFSフォーマットもサポートされました。
• Unicodeパスワードはバージョン1.17以降のすべてのオペレーティングシステムでサポートされています（Windowsのシステム暗号化を除く）。^[15]
• VeraCryptはバージョン1.18aでUEFIを使用してシステムパーティションを起動する機能を追加しました。 ^[15]
• システムドライブと非システムドライブの両方でTRIMコマンドのサポートを有効/無効にするオプションがバージョン1.22で追加されました。 ^[15]
• シャットダウン/再起動時にRAMからシステム暗号化キーを消去すると、コールドブート攻撃を軽減するのに役立ちます。これはバージョン1.24で追加されました。^[15]
• 64ビットシステム上のキーとパスワードのRAM暗号化はバージョン1.24で追加されました。^[15]

QuarksLabはオープンソース技術改善基金（OSTIF）の委託を受けてバージョン1.18の監査を実施し、32人日を要した。監査人は2016年10月17日に結果を発表した。^{[15] [25] [26]}同日、IDRIXは監査で特定された主要な脆弱性を修正したバージョン1.19をリリースした。^[27]

フラウンホーファー安全情報技術研究所（SIT）は、ドイツ連邦情報セキュリティ庁（BSI）の要請に応じて2020年に再度監査を実施し、2020年10月にその結果を公表した。^{[28] [29]}

ソフトウェアベースのディスク暗号化は、いくつかの種類の攻撃に対して脆弱です。TrueCryptと同様に、VeraCryptのドキュメントでは、これらの攻撃を軽減するためにさまざまなセキュリティ予防措置に従うようにユーザーに指示しています。^{[30] [31]}そのうちのいくつかを以下に詳しく説明します。

VeraCrypt はキーをRAMに保存します。一部のパソコンでは、DRAM は電源を切っても数秒間 (温度が下がればもっと長く) 内容を保持します。メモリの内容が多少劣化しても、さまざまなアルゴリズムでキーを復元できる場合があります。この方法はコールド ブート攻撃(特に電源オン、サスペンド、または画面ロック モードのノート PC に適用される) と呼ばれ、2008 年にTrueCryptバージョン 4.3a および 5.0a で保護されたファイル システムを攻撃するのに成功しました。 ^{[32] VeraCrypt バージョン 1.24 では、} x64版 Windows でRAM内の キーとパスワードを暗号化するオプションが追加されました。CPU オーバーヘッドは 10% 未満です。また、新しいデバイスが接続されたときにメモリからすべての暗号化キーを消去するオプションも追加されました。^[15]

VeraCrypt のドキュメントには、攻撃者が物理的にアクセスし、その後 VeraCrypt がユーザーによって侵害されたコンピュータで再度使用される場合、VeraCrypt はコンピュータ上のデータを保護できないと記載されています。これは、盗難、紛失、または押収されたコンピュータなどの一般的なケースには影響しません。^[33]コンピュータに物理的にアクセスできる攻撃者は、たとえば、ハードウェアまたはソフトウェアのキーロガー、メモリをキャプチャするバスマスタリングデバイスをインストールしたり、その他の悪意のあるハードウェアまたはソフトウェアをインストールしたりして、暗号化されていないデータ (暗号化キーとパスワードを含む) をキャプチャしたり、キャプチャしたパスワードまたは暗号化キーを使用して暗号化されたデータを復号化したりすることができます。したがって、物理的なセキュリティは安全なシステムの基本前提です。^[34]

マルウェアの中には、入力されたパスワードを含むキーストロークを記録するように設計されているものもあり、その記録はインターネット経由で攻撃者に送信されたり、暗号化されていないローカルドライブに保存されたりして、攻撃者がコンピュータに物理的にアクセスしたときに後で読み取ることができる可能性があります。^[35]

VeraCrypt は Trusted Platform Module (TPM) を利用しません。VeraCrypt FAQ は、元の TrueCrypt 開発者の否定的な意見をそのまま繰り返しています。^[36] TrueCrypt 開発者は、TPM の唯一の目的は「攻撃者が管理者権限またはコンピューターへの物理的アクセスを必要とする攻撃から保護すること」であると考えていました。コンピューターへの物理的または管理者アクセスを持つ攻撃者は、ハードウェアキーストローク ロガーをインストールしたり、TPM をリセットしたり、メモリの内容をキャプチャして TPM が発行したキーを取得したりすることで、TPM を回避できます。非難文では、TPM は完全に不要であると主張しています。^[37]

確かに、無制限の物理アクセスまたは管理者権限のいずれかを達成した後、他のセキュリティ対策がバイパスされるのは時間の問題です。^{[38] [39]}しかし、管理者権限を所有する攻撃者を阻止することは、TPM の目標の 1 つではありませんでした。(詳細については、 Trusted Platform Module § 用途を参照してください。) ただし、TPM は、上記のコールドブート攻撃の成功率を低下させる可能性があります。^{[40] [41] [42] [43] [44]} TPM は SPI 攻撃の影響を受けやすいことも知られています。^[45]

VeraCryptは、前身のTrueCryptと同様に、別のボリューム内に単一の「隠しボリューム」を作成することを許可することで、もっともらしい否認^{[46]をサポートしています。 [47] VeraCryptのWindowsバージョンは、}存在を否定できる隠し暗号化オペレーティングシステムを作成して実行できます。^[48] VeraCryptのドキュメントには、隠しボリュームの否認機能が侵害される可能性のある方法（一時ファイルやサムネイルを介して情報を漏らす可能性のあるサードパーティソフトウェアなど）と、これを回避する可能性のある方法がリストされています。^[30]

VeraCryptは、マルチコアシステム向けに並列化された暗号化をサポートしています。Microsoft Windowsでは、パイプライン化された読み取りおよび書き込み操作（非同期処理の一種）^{[49] : 63 により}、暗号化と復号化のパフォーマンスへの影響を軽減します。AES -NI命令セットをサポートするプロセッサでは、VeraCryptはハードウェアアクセラレーションAESをサポートし、パフォーマンスをさらに向上させます。^{[49] : 64} 64ビットCPUでは、VeraCryptはTwofish、Serpent、Camelliaの最適化されたアセンブリ実装を使用します。 ^[15]

VeraCryptは2013年に廃止されたTrueCryptプロジェクトから分岐し、^{[8]元々はTrueCrypt License 3.0でリリースされたTrueCryptコードがほとんどでした。それ以来、VeraCryptのコードの多くは書き直され、寛容な}Apache License 2.0でリリースされています。

TrueCrypt ライセンスは、一般的にソースは入手可能ですが、無料かつオープンソースではないと考えられています。Apache ライセンスは、一般的に無料かつオープンソースであると考えられています。混合 VeraCrypt ライセンスは、広く無料かつオープンソースであると考えられていますが、一般的にはそうではありません。

2014年5月28日、TrueCryptは異例の状況下で開発を中止し^{[50] [51] [52]}、元開発者に連絡する方法は存在しません。

VeraCrypt は、以下の理由により無料かつオープンソースであると見なされています。

• PCワールド^[53]
• テックスポット^[54]
• DuckDuckGoのオープンソース技術改善基金^{[55] [56]}
• ソースフォージ^[57]
• オープンテックファンド^[58]
• フォシュフ^[59]
• オープンソース.com ^[60]
• フォスミント^[61]

VeraCrypt は、以下の理由により、無料かつオープンソースではないとみなされています。

• デビアン^[62]
• オープンソース・イニシアティブの理事を含む一部のメンバー^[63]は、 TrueCryptライセンスの古いバージョンについて懸念を表明したが、OSI自体はTrueCryptまたはVeraCryptに関する決定を発表していない。
• フリーソフトウェア財団は、 TrueCryptライセンスは非フリーであると判断しました。^[64] FSFはVeraCryptライセンスに関する決定を発表していません。

これらのほとんどは、VeracryptとTruecryptがサポートまたは承認されたライセンスを持っていないことに起因しています。たとえば、FSFはソフトウェアの実行に関してエンドユーザーに義務を課すライセンスを容認しません。これはフリーソフトウェアの定義に反します。 ^{[65] Debianは、} DFSGのガイドラインを満たさないすべてのソフトウェアを非フリーと見なしています。

US v. Burns では、被告は 3 つのハード ドライブを持っており、最初のハード ドライブはシステム パーティションで、後に削除された児童ポルノのキャッシュと VeraCrypt の使用方法に関するマニュアルが含まれていることが判明しました。2 つ目のハード ドライブは暗号化されており、3 つ目のハード ドライブにはさまざまな音楽ファイルが含まれていました。被告は 2 つ目のハード ドライブに児童ポルノが含まれていることを認めましたが、当局にパスワードを提供することを拒否しました。最初のドライブで以前に使用されたパスワードの手がかりを検索し、ドライブ パーティションにアクセスするために使用できる VeraCrypt ソフトウェアの弱点について FBI に問い合わせ、潜在的なパスワードとして英数字セットを使用してパーティションをブルート フォース攻撃したにもかかわらず、パーティションにアクセスできませんでした。被告が暗号化されたドライブに児童ポルノが含まれていることを認めたため、検察はAll Writs Actの既成事実の原則に基づいて、被告にパスワードを渡すよう強制する申し立てを行いました。^[66]

カリフォルニア州の被告のアパートで児童ポルノにアクセスしようとした際に、900ギガバイトを超えるVeraCryptドライブが外付けハードドライブとして発見された。FBIは地元警察の支援に呼ばれたが、VeraCryptソフトウェアに弱点を見つけられなかったと主張した。また、FBIはVeraCryptソフトウェアにバックドアがあることも否定した。後に、別の容疑者が被告に児童ポルノの写真やビデオを隠すために暗号化を使用するよう教えたことが判明した。被告は、いずれにせよバックアップとしてドライブに児童ポルノを保存していたことを認めており、別の容疑者が被告にVeraCryptの使い方を教えたチャットログも残していたため、既成事実の原則が再び適用された。^[67]

• ディスク暗号化ソフトウェア
• ディスク暗号化ソフトウェアの比較

Wikimedia Commons にはVeraCryptに関連するメディアがあります。

• 公式サイト
• VeraCrypt 1.18 セキュリティ評価