Sanket暗号技術ホワイトペーパー：Signal Protocol、鍵管理、ゼロ知識設計
Sanketの暗号技術構成を技術面から詳しく解説します。Double RatchetとX3DHによる鍵合意を用いたSignal Protocol、前方秘匿性、ハードウェアに保護された鍵の保存、サーバー側では内容を知り得ない設計、証明書の固定化に加え、機密性の高い通信や機密指定された通信にSanketを検討する組織向けに、各セキュリティ特性が導入に与える影響を取り上げます。
Tosh Defence
Private Limited
文書情報
内容
本書で扱うトピック
Signal ProtocolのDouble RatchetアルゴリズムとX3DH拡張トリプル・ディフィー・ヘルマン鍵合意の解説
前方秘匿性：鍵の漏洩後もセッション鍵の分離によって過去の通信を復号できない理由
ゼロ知識サーバーアーキテクチャ：サーバーに保存されるもの、決してアクセスできないもの、そしてそれが重要な理由
ハードウェアで保護された鍵の保管：秘密鍵の保護に向け、Androidの鍵管理機能とiOSのセキュアエンクレーブを統合
TLS 1.3と証明書ピンニング：通信経路の保護と中間者攻撃の防止
外部ネットワークから物理的に隔離された環境での鍵管理：インターネット接続なしで暗号処理が機能する仕組み
脅威モデル：Sanketの暗号技術が防ぐ脅威と、対応を主張しない脅威
主な知見
得られる知見
Signal Protocol - オープンソースで、独立した監査を受けた暗号技術
すべてのセッションで前方秘匿性を確保
対応デバイスでは、ハードウェアのセキュアエンクレーブで鍵を保護
ゼロ知識サーバー - 独立した検証が可能な設計
プライバシーに関する背景
このホワイトペーパーで述べるプライバシー保護の特性は、契約上の約束ではなく、構造的なものです。サーバー側で内容を把握できない設計では、プライバシー保護の保証はプラットフォーム提供者のプライバシーポリシーを信頼することではなく、数学的な仕組みに基づきます。
セキュリティ上の関連性
この技術白書では、独立したセキュリティレビューを可能にするため、Sanketの暗号アーキテクチャを十分な透明性をもって提示します。評価者が十分な情報に基づいて評価できるよう、Sanketが防ぐ脅威と暗号技術による保護の範囲外にある脅威を、脅威モデルとして明示します。
ご評価用
この技術白書では、Sanket.Chatの公開アプリ、Sanket.Workの顧客ブランドによるクラウド版、Sanket.Enterpriseのネットワークから物理的に分離された自組織内サーバー導入版という、すべての導入形態における暗号学的特性を扱います。導入形態間の鍵管理の違いも説明します。
この文書に関するご質問
Double Ratchetアルゴリズムとは何ですか？また、Sanketはなぜそれを使用するのですか？
Double Ratchetアルゴリズムは、Diffie-Hellmanラチェットと対称鍵ラチェットを組み合わせ、前方秘匿性（将来の鍵から過去のセッションを復号できないこと）と侵害後の回復（セッション鍵が漏えいしても、後続のセッションでは安全性が自動的に回復すること）を両立します。安全なメッセージ通信の暗号技術における最高水準です。
「サーバーが通信内容を知り得ない」とは、技術的にどういう意味ですか？
サーバー側では内容を知り得ない設計では、サーバーは復号できない暗号文のみを保存します。秘密鍵は利用者の端末上にのみ存在します。Tosh Defenceを含むサーバー運用者は、サーバーへの完全なアクセス権があっても、復号に必要な秘密鍵を保有していないため、メッセージの内容にアクセスできません。
Sanketの暗号技術は独立監査を受けていますか？
Sanketは、学術研究チームやセキュリティ研究チームによる広範な独立監査を受けてきたSignal Protocolを基盤としています。Sanketの実装に対して実施されたセキュリティ評価については、Tosh Defence Private Limitedにお問い合わせください。
この技術文書の主張を独立して検証するにはどうすればよいですか？
Signal Protocolはオープンソースであり、その暗号学的特性は公開された学術文献から検証できる。ゼロ知識型サーバー構成は、正式なセキュリティ評価の一環として、ネットワーク通信の解析とソースコードの審査によって検証できる。
この資料を入手
評価用にダウンロード
セキュリティ評価、調達に向けた調査、またはコンプライアンス部門向けに、完全版のPDFをお申し込みください。無料で、迷惑メールは送信しません。