VeraCrypt

VeraCrypt
VeraCrypt 1.17 on Windows 10
開発元 IDRIX
初版 2013年6月22日 (10年前) (2013-06-22)
最新版 1.26.7 - 2023年10月1日 (7か月前) (2023-10-01)[1] [±]
リポジトリ
  • www.veracrypt.fr/code/VeraCrypt/
ウィキデータを編集
プログラミング
言語		 C、C++、アセンブリ言語
対応OS
対応言語 37言語[2]
サポート状況 継続中
種別 暗号ソフトウェア/ディスクドライブ仮想化ソフト
ライセンス Apache License 2.0およびTrueCrypt License version 3.0[3]
公式サイト www.veracrypt.fr
テンプレートを表示

VeraCrypt は オープンソースでフリーウェアのオンザフライ暗号化（英語版）に使われるユーティリティソフトウェアである[4]。VeraCryptはファイルやパーティション[5]の暗号化や、ストレージ全体の暗号化が成されたブート前認証付き仮想暗号化ディスクを作成することができる。

VeraCryptは開発が終了したTrueCryptのフォークである[6]。初版のリリースは 2013年6月22日で、2015年9月には10度目のリリース(バージョン 1.15)がなされた[7]。開発者によると、セキュリティの改善がなされ、初期のTrueCryptのソフトウェア監査（英語版）において提起された問題が対処されている[8]。

暗号化の仕組み

アルゴリズム

VeraCryptでサポートされている暗号はAES、Serpent、Twofish、Camellia、Kuznyechik（英語版）である。さらに、10種類のカスケードアルゴリズム（英語版）の組み合わせを利用できる。AES–Twofish、AES–Twofish–Serpent、Camellia–Kuznyechik、Camellia–Serpent、Kuznyechik–AES、Kuznyechik–Serpent–Camellia、Kuznyechik–Twofish、Serpent–AES、Serpent–Twofish–AES、そしてTwofish–Serpentである[9]。VeraCryptで利用可能なハッシュ関数はRIPEMD-160、SHA-256、SHA-512、Streebog（英語版）、Whirlpoolである[10]。

暗号利用モード

VeraCryptは暗号モードとしてXTSを利用する[11]。

鍵

ヘッダキーとセカンダリヘッダキー（XTSモード）は512ビットのソルトのPBKDF2を用いて、327,661回から655,331の反復で生成される[12]。

セキュリティの改善

開発者により、VeraCryptはおおむねTrueCryptよりもセキュリティが改善された。

TrueCryptはシステムパーティションに対し、PBKDF2-RIPEMD160アルゴリズムで1000回の反復を行うが、VeraCryptは327,661回の反復を行う。標準コンテナとその他のパーティションに関してはRIPEMD160で655,331回、SHA-2とWhirlpoolでは500,000回の反復を行う。これによりVeraCryptで暗号化パーティションを開く際にわずかに遅くなるが、総当たり攻撃に対して最低10倍から最大300倍強くなる[6]。

Windowsでのブートローダーの脆弱性は修正されたほか、さまざまな最適化が行われた。開発者はシステムブートの暗号化にSHA-256のサポートを追加し、ShellExecuteのセキュリティ問題も修正された。LinuxとmacOSユーザーは512超のセクタサイズのサポートで恩恵を受けられる。Linux版もNTFSフォーマットをサポートしている。

セキュリティ改善により、VeraCryptフォーマットはTrueCryptとは非互換である。VeraCryptの競合、CipherShedとの違いはCipherShedはTrueCryptフォーマットを使っていることである。VeraCryptのバージョン1.0fから、TrueCryptフォーマットを開いたり、TrueCryptフォーマットをVeraCryptフォーマットへ変換したりすることができるようになった[13][14][15]。しかし、TrueCryptモードのサポートはバージョン1.26.4 BETA (正式版では1.26.7) で削除された。その後もVeraCryptフォーマットへ変換できるように、TrueCryptフォーマットに対応した最後のバージョン1.25.9が公式サイト上に残されている。

もっともらしい否認

VeraCryptはもっともらしい否認（plausible deniability）と呼ばれる構想をサポートしている[16]。これはひとつの「隠されたボリューム」をもう一つのボリュームの中に作成できるものである[17]。さらに、Windowsバージョンでは、否認可能暗号化（英語版）された隠しオペレーティングシステムを作成し実行することができる[18]。

性能

VeraCryptは暗号化と復号による性能への影響を減らすため、マルチコアシステムで並列化[19]処理、Windows上でパイプラインを利用した読み書き（非同期処理方式）による暗号化をサポートしている。AES-NI命令セットをサポートした新しいプロセッサでは、VeraCryptはハードウェアアクセラレーションを利用して大きく性能が向上する。

セキュリティ監査

VeraCryptの中立なコード監査は初期の計画段階である[20]。

VeraCryptは中立なセキュリティ監査を通過したTrueCryptのソースコードに基づいている。監査の第一段階は2014年4月14日に完了し、"no evidence of backdoors or malicious code."[21]（バックドアあるいは悪意のあるコードの証拠はない）とされた。監査の第二段階は2015年4月2日に終了し、"no evidence of deliberate backdoors, or any severe design flaws that will make the software insecure in most instances."[22][23]（故意のバックドアや、セキュリティが失われる重大な設計上の欠陥の根拠はない）とされた。

ライセンスとソースモデル

VeraCryptは2015年6月28日からApache License 2.0でライセンスされている[24]。以前はMicrosoft Public Licenseでリリースされていた[25]。VeraCryptは大部分のコードをTrueCryptから引き継いでいるためTrueCrypt独自の「TrueCrypt License 3.0」の支配下にある[26][27]。このライセンスは改変と再配布に対して制限があり、オープンソース・イニシアティブ(OSI)が定める「オープンソースの定義」に合致しない、非オープンソース・ソフトウェア・ライセンスである。[28]。

その他

 ドライブ全体の暗号化に関しては、「EFIシステムパーティション領域」が存在する場合、「システムパーティションあるいはシステムドライブ全体を暗号化」は選択できない。

 上記の選択をできるようにしたい場合には「EFIシステムパーティション領域」を設定しないクリアインストールによるWindowsのインストールが必要になる。

出典

[脚注の使い方]
  1. ^ “Release Notes” (2023年10月1日). 2022年11月9日閲覧。
  2. ^ “VeraCrypt 1.0f Bundle (All files and their signatures)”. IDRIX. 2015年1月4日閲覧。
  3. ^ “VeraCrypt License”. 2016年1月28日閲覧。
  4. ^ "VeraCrypt Official Site"
  5. ^ “VeraCrypt Volume”. VeraCrypt Official Website. IDRIX. 2018年11月25日閲覧。
  6. ^ a b Rubens, Paul (2014年10月13日). “VeraCrypt a Worthy TrueCrypt Alternative”. eSecurity Planet. Quinstreet Enterprise. 2015年2月16日閲覧。
  7. ^ "VeraCrypt Downloads"
  8. ^ Henry, Alan (2015年2月8日). “Five Best File Encryption Tools”. Lifehacker. Gawker Media. 2015年2月16日閲覧。
  9. ^ “Encryption Algorithms”. VeraCrypt Documentation. IDRIX (2018年11月25日). 2018年11月25日閲覧。
  10. ^ “Hash Algorithms”. VeraCrypt Documentation. IDRIX (2018年11月25日). 2018年11月25日閲覧。
  11. ^ “Modes of Operation”. VeraCrypt Documentation. IDRIX (2018年11月25日). 2018年11月25日閲覧。
  12. ^ “Header Key Derivation, Salt, and Iteration Count”. VeraCrypt Documentation. IDRIX (2018年11月25日). 2018年11月25日閲覧。
  13. ^ "VeraCrypt Release Notes"
  14. ^ Castle, Alex (March, 2015). "Where Are We At With TrueCrypt?". MaximumPC, p. 59.
  15. ^ TrueCryptフォーマットを新規に作成することはできない。
  16. ^ “Plausible Deniability”. VeraCrypt Documentation. IDRIX (2018年11月25日). 2018年11月25日閲覧。
  17. ^ “Hidden Volume”. VeraCrypt Documentation. IDRIX (2018年11月25日). 2018年11月25日閲覧。
  18. ^ “Hidden Operating System”. VeraCrypt Documentation. IDRIX (2018年11月25日). 2018年11月25日閲覧。
  19. ^ “Parallelization”. IDRIX (2018年11月25日). 2018年11月25日閲覧。
  20. ^ Idrassi, Mounir (2014年12月31日). “Security audit”. 2015年2月22日閲覧。
  21. ^ Farivar, Cyrus (2014-04-14), TrueCrypt audit finds "no evidence of backdoors" or malicious code, Ars Technica, http://arstechnica.com/security/2014/04/truecrypt-audit-finds-no-evidence-of-backdoors-or-malicious-code/ 2014年5月24日閲覧。 
  22. ^ Green, Matthew (2015年4月2日). “Truecrypt report”. A Few Thoughts on Cryptographic Engineering. 2015年4月4日閲覧。
  23. ^ “Truecrypt Phase Two Audit Announced”. Cryptography Services. NCC Group (2015年2月18日). 2015年2月22日閲覧。
  24. ^ “Apache License 2.0 (Apache)”. 2015年7月1日閲覧。
  25. ^ “Microsoft Public License (Ms-PL)”. 2015年7月1日閲覧。
  26. ^ TrueCrypt License. Accessed on: May 21, 2012 [リンク切れ]
  27. ^ TrueCrypt Collective License. Accessed on: June 4, 2014
  28. ^ Phipps, Simon (2013-11-15), TrueCrypt or false? Would-be open source project must clean up its act, InfoWorld, http://www.infoworld.com/d/open-source-software/truecrypt-or-false-would-be-open-source-project-must-clean-its-act-230862 2014年5月20日閲覧。 

関連項目

  • en:Disk encryption software
  • en:Comparison of disk encryption software

外部リンク

ウィキメディア・コモンズには、VeraCryptに関連するカテゴリがあります。
  • VeraCrypt website
  • VeraCrypt 1.18 Security Assessment
  • 表
  • 話
  • 編
  • 歴
OpenPGP・S/MIME
  • メールサーバーの比較（英語版）
  • 電子メールクライアントの比較（英語版）
  • GnuPG (Gpg4win・GPGTools)
  • PGP
  • Enigmail
  • Thunderbird
  • Outlook
  • Apple Mail
  • Claws Mail
  • Autocrypt（英語版）
  • Kontact
  • pretty Easy privacy（英語版）
  • Sylpheed
セキュア通信
OTR（英語版）
  • Adium
  • BitlBee（英語版）
  • Centericq（英語版）
  • ChatSecure
  • climm（英語版）
  • Jitsi
  • Kopete
  • MCabber（英語版）
  • Profanity（英語版）
SSH
TLS/SSL
VPN
ZRTP（英語版）
  • CSipSimple（英語版）
  • Jitsi
  • Linphone（英語版）
  • Jami
  • Zfone（英語版）
P2P
D R A（英語版）
  • Matrix
  • OMEMO（英語版）
    • Conversations（英語版）
    • Cryptocat（英語版）
    • ChatSecure（英語版）
  • Proteus
  • Signalプロトコル
    • Signal
    • WhatsApp
    • TextSecure（英語版）
匿名化
  • Cryptomator
  • GNUnet
  • Java Anon Proxy（英語版）
  • I2P
  • Tor
  • Vidalia（英語版）
  • RetroShare（英語版）
  • Ricochet（英語版）
  • Wickr（英語版）
ディスク暗号化（英語版）
  • ディスク暗号化ソフトウェアの比較（英語版）
  • BitLocker
  • FreeOTFE（英語版）
  • TrueCrypt
  • BestCrypt（英語版）
  • CipherShed
  • CrossCrypt（英語版）
  • Cryptoloop（英語版）
  • DiskCryptor（英語版）
  • dm-crypt（英語版）
  • LUKS
  • DriveSentry（英語版）
  • E4M（英語版）
  • eCryptfs（英語版）
  • FileVault
  • GBDE（英語版）
  • geli（英語版）
  • PGPDisk（英語版）
  • Private Disk（英語版）
  • Scramdisk（英語版）
  • Sentry 2020（英語版）
  • VeraCrypt
ファイルシステム
セキュアOS
Service providers
教育
暗号通貨
Related topics
関連人物
  • カテゴリ カテゴリ
  • コモンズ コモンズ