サーバーから証明書と一時的な ECDHE 公開鍵が送信されますが、クライアントはなぜ証明書の検証だけで暗号化を開始できないのでしょうか。証明書は長期アイデンティティと紐付けられ、ハンドシェイクの署名は一時的なパラメータをそのアイデンティティに紐付け、Finished メッセージは双方が交渉履歴とキーの解釈を一致させていることを確認します。これら3つのチェックが相互に連携して、認証可能な安全なチャネルを構成します。
| 確認したいこと | 対応するメカニズム |
| 相手が期待されるサービスかどうか | 証明書チェーン、サービスアイデンティティおよび用途の検証 |
| 一時的なキーパラメータがなりすましされていないか | ECDHE ServerKeyExchange 署名 |
| 双方が同じ秘密情報を得ているか | キー派生および Finished 検証 |
| 後続のレコードが改ざんされていないか | AEAD またはスイートで規定されたレコード保護 |
| 再接続でラウンドトリップを削減できる理由 | 以前のセッション状態を復元し、新しい Finished を検証する |
本稿では、TLS 1.2、ECDHE、AEAD を用いた完全なサーバー認証ハンドシェイクを主に解説し、従来の RSA キー交換および復元の差異についても説明します。TLS 1.2 のすべての歴史的オプションが今日すべて有効化に適しているわけではありません。現代のデプロイメント選択は、セキュリティ使用規範とクライアントの互換性を組み合わせて行うべきです。RFC 9325:TLS のセキュリティ使用
2026年9月時点で、TLS 1.3 の更新仕様 RFC 9846 が公開され、RFC 8446 および関連するいくつかの旧版ドキュメントに取って代わり、TLS 1.2 実装に対する新たな要件も規定しています。本稿で RFC 5246 などを引用しているのは、TLS 1.2 のメカニズムを正確に説明するためであり、歴史的なオプションを現在のデプロイメントのベースラインとして扱わないためです。RFC 9846
まず TCP、TLS レコード、およびハンドシェイクメッセージを区別する
TLS は通常 TCP 上で動作しますが、TCP セグメント、TLS レコード、および Handshake メッセージは3つの異なる境界です。1つのハンドシェイクメッセージが複数のレコードに跨がることもあれば、1つのレコードに複数のハンドシェイクメッセージが含まれることもあります。TCP パケットをキャプチャしたからといって、完全な Certificate が確認できるわけではありません。
TLS 1.2 レコードの固定ヘッダーは 5 バイトで、コンテンツタイプ、バージョン、および長さを表します。Handshake メッセージには、さらに 1 バイトのタイプと 3 バイトの長さが追加されます。ハンドシェイクトランスクリプトは、プロトコルのハンドシェイクメッセージエンコーディングに従って累積され、イーサネットフレームや TCP セグメントのバイト列をそのままハッシュするものではありません。RFC 5246:記録層とハンドシェイク
4つのフライト:約2回の TLS ラウンドトリップ
クライアントが最初に ClientHello を送信し、サーバーは選択結果、証明書、および署名付きの一時的なパラメータを返します。クライアントが検証後、独自の一時的な公開鍵を送信し、保護に切り替えて Finished を送信します。サーバーが検証後、切り替えて Finished を返します。通常の完全なハンドシェイクは約2 RTT かかり、TCP 接続確立、DNS、再試行、および証明書処理は含まれません。また、どのような拡張を使用しても固定の所要時間がかかるわけではありません。
ECDHE パスでは、サーバーは共有秘密を計算しますが、「クライアントが送信した pre_master_secret を RSA 秘密鍵で復号する」わけではありません。後者は別の歴史的なキー交換方式です。オプションのクライアント証明書認証では、CertificateRequest、クライアントの Certificate/CertificateVerify などのメッセージが追加され、mTLS については別篇で詳しく解説します。
ClientHello/ServerHello:選択には共通のコンテキストが必要
ClientHello には、バージョン、32 バイトのランダム、スイートリスト、および拡張が含まれます。ServerHello では、利用可能なバージョン、スイート、および対応する拡張の結果が選択されます。歴史的な Random フォーマットのタイムフィールドは信頼できるクロックやクライアントシステムのフィンガープリントとして使用できません。現代の実装も、ビジネスロジックの時間的セマンティクスを担うためにこれに依存すべきではありません。
SNI はサーバーが仮想ホストと証明書を選択するのに役立ちますが、クライアント側のサービスアイデンティティ検証を代行するものではありません。ALPN は h2 や http/1.1 などのアプリケーションプロトコルを交渉します。TLS が成功した場合でも、アプリケーション層は選択されたプロトコルに従わなければならず、ALPN と一致しないコンテンツを送信し続けることはできません。RFC 6066:SNI、RFC 7301:ALPN
supported_groups、署名アルゴリズム、およびスイートは異なる制約です。特定の楕円曲線をサポートしていても、任意の証明書アルゴリズムを受け入れるわけではありません。TLS 1.2 では歴史的に圧縮を交渉できましたが、現代のセキュリティ設定ではレコード圧縮を無効にするべきです。現代の要件を「RFC 5246 が null 以外の圧縮を定義していなかった」と誤解してはいけません。
スイート名の分解:RSA は署名のみを担当する場合もある
TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 を例に挙げます:
| 部分 | 本例での役割 | 誤解してはいけないこと |
| ECDHE | 一時的な楕円曲線 DH キー交換 | 証明書も同じ EC 曲線を使用しなければならない |
| RSA | サーバー認証に使用される署名の種類 | RSA がすべてのアプリケーションデータまたは PMS を暗号化する |
| AES_128_GCM | 128 ビット AES の AEAD レコード保護 | SHA256 レコード MAC が別途追加される |
| SHA256 | スイートで規定された TLS 1.2 PRF ハッシュ | すべての TLS 1.2 スイートで SHA256 のみが許可される |
例えば、AES-256-GCM-SHA384 スイートでは SHA384 PRF が使用されます。スイートは登録された全体の組み合わせであり、4つの文字列を任意に連結して有効なスイートが生成されるわけではありません。ハンドシェイク署名に使用されるハッシュは、署名アルゴリズムの交渉によって制約され、スイート名の末尾と一致する必要はありません。RFC 5289:ECC AEAD スイート
ECDHE:一時的なパラメータに署名し、共有秘密を計算
クライアントの一時的な秘密鍵を a、公開鍵を aG、サーバーの一時的な秘密鍵を b、公開鍵を bG とします。適切なパラメータチェックと認証を経て、双方はそれぞれ a(bG) と b(aG) を計算し、同じ共有秘密を得ます。オンライン上では a、b、または共有秘密自体が直接送信されることはありません。
サーバーは、証明書に対応する秘密鍵を使用して、ClientHello.random、ServerHello.random、および規定された ECDHE パラメータエンコーディングに署名します。クライアントは証明書チェーンと期待される名前をチェックするだけでなく、この署名も検証する必要があります。任意の ECDHE 公開鍵を受け入れると、中間者によるパラメータの置き換えの余地が残ります。RFC 8422:TLS ECC ハンドシェイク
前方秘匿性は、一時的なキー交換と秘密の適切な管理によってもたらされます。将来、長期の署名キーが漏洩しても、過去のキャプチャから破棄された一時的な DH 秘密を直接復元すべきではありません。これは、実行中のエンドポイントが侵害された場合にメモリ内のセッションを保護することを保証するものではなく、セッションチケット保護キーの漏洩を自動的に上書きするものでもありません。
従来の RSA key exchange では、クライアントが PMS を生成し、証明書の RSA 公開鍵で暗号化し、サーバーが復号します。記録されたトラフィックが保存された後、長期の復号用秘密鍵が漏洩すると、過去の秘密に影響を与えます。ここではプロトコルの差異を理解するために使用されており、新しいデプロイメントの推奨事項としては扱いません。RFC 5246:RSA と DH の計算
master_secret:従来の派生と EMS
古いキャプチャ資料との対比を容易にするため、本節では RFC 5246 の変数名を保持します。RFC 9846 では、master secret は main secret に、premaster secret は preliminary secret に、EMS は Extended Main Secret に改名されました。オンライン上の PRF ラベルは互換性を保つ必要があり、コード内のリテラルラベルをそれに合わせて改名すべきではありません。RFC 9846 付録 D
従来の TLS 1.2 派生式は以下の通りです:
master_secret = PRF(PMS, "master secret", client_random || server_random)[0:48]
EMS が交渉に成功した場合、"extended master secret" ラベルと規定された session_hash を使用し、メインシークレットを今回のハンドシェイクコンテキストにバインドします。EMS の保護について述べた後でも、古い式のみを列挙してすべてのハンドシェイクに適用可能と主張してはいけません。RFC 7627:Extended Master Secret
次に、レコード保護に必要な材料を生成します:
key_block = PRF(master_secret, "key expansion", server_random || client_random)
ここで、2つの random の順序は従来の master_secret 式とは逆です。PRF ラベル、入力順序、ハッシュ、および長さが結果に関与するため、双方が同じ PMS を持つからといって任意に連結することはできません。クライアント書き込みキーはクライアント送信方向に使用され、サーバー書き込みキーは逆方向に使用されます。
AES-128-GCM の例では、16 バイトの write key が2つ、4 バイトの固定 IV が2つ必要で、合計 40 バイトです。独立した write_MAC_key の長さはゼロです。AEAD は自身でレコード認証を提供するため、ここでは独立したレコード HMAC キーは割り当てられません。GCM nonce には各レコードの 8 バイトの明示的な部分も含まれており、固定 IV が各レコードで完全に同じ nonce を再利用可能であることを意味するものではありません。RFC 5288:TLS GCM
CCS と Finished:保護への切り替えと履歴の確認
TLS 1.2 の ChangeCipherSpec は独立したプロトコルメッセージであり、相手側にその後で交渉された保護状態を使用するよう通知します。Finished はハンドシェイクメッセージであり、新しいレコード保護を使用して送信され、その verify_data は master_secret、方向ラベル、およびトランスクリプトハッシュに基づく PRF 出力です。本例では 12 バイトです。RFC 5246:Finished
Finished は、サーバーが証明書の秘密鍵を使用して再度デジタル署名を行うものではありません。その検証には共有秘密が必要であり、交渉履歴もバインドされます。クライアント Finished のトランスクリプトには自身は含まれず、その後サーバー Finished のトランスクリプトには、すでに送信されたクライアント Finished が含まれます。CCS は Handshake メッセージとしてトランスクリプトには組み込まれません。
サーバー Finished の検証が完了して初めて、通常の完全なハンドシェイクフローに従ってこのフェーズが完了したと確信できます。特定の条件下で早期送信を許可する最適化もありますが、それらによってベースラインフローを任意に変更すべきではありません。TLS アラートと TCP 切断も異なります。プロトコルの終了セマンティクスとアプリケーションが自身のメッセージを完了したかどうかは、それぞれ別々に処理する必要があります。
入力を変更した場合、どの秘密が変化するか?
まず、従来のパスで他のハンドシェイクメッセージのみを変更します。メインシークレットとレコードキーは変更されず、Finished のみが変化します。次に EMS に切り替えると、同じ変更が session_hash を通じてメインシークレットおよび後続の出力に伝播します。色は実際のバイト比較に基づくものであり、事前に設定されたアニメーションではありません。
図を準備しています
入力を変更した場合、どの秘密が変化するか?派生には方向性のある依存関係があります。従来のメインシークレットは完全なトランスクリプトにバインドされず、EMS は session_hash にバインドされます。Finished は、自身がカバーするハンドシェイク履歴もバインドします。
{"id":"tls12-prf-dependencies","title":"入力を変更した場合、どの秘密が変化するか?","summary":"派生には方向性のある依存関係があります。従来のメインシークレットは完全なトランスクリプトにバインドされず、EMS は session_hash にバインドされます。Finished は、自身がカバーするハンドシェイク履歴もバインドします。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><div class=\"presets\" role=\"group\" data-i18n-label=\"mode\"><button data-mode=\"legacy\" data-i18n=\"legacy\"></button><button data-mode=\"ems\" data-i18n=\"ems\"></button></div><label class=\"check\"><input type=\"checkbox\" id=\"pms\"><span data-i18n=\"pms\"></span></label><label class=\"check\"><input type=\"checkbox\" id=\"random\"><span data-i18n=\"random\"></span></label><label class=\"check\"><input type=\"checkbox\" id=\"transcript\"><span data-i18n=\"transcript\"></span></label><section class=\"panel\"><h3 data-i18n=\"outputs\"></h3><div id=\"outputs\"></div></section><p id=\"status\" class=\"status\"></p><details class=\"scope\"><summary data-i18n=\"scopeLabel\"></summary><p data-i18n=\"scope\"></p></details>","css":".intro{margin:8px 0 18px;color:var(--muted);font-size:14px}.caption,.hint{font-size:12px;color:var(--muted);margin-top:12px}.control{display:grid;grid-template-columns:minmax(0,1fr) auto;gap:6px 12px;align-items:center;margin:14px 0;font-size:13px}.control label{font-size:13px}.control output{color:var(--accent);min-width:5em;text-align:right;font-variant-numeric:tabular-nums}.control input{grid-column:1/-1;width:100%;margin:0}.presets{display:flex;gap:4px;align-items:stretch}.presets button{flex:1 1 0;min-width:0;overflow-wrap:anywhere;font-size:13px}.actions{display:flex;gap:8px;flex-wrap:wrap;margin:14px 0}.actions button{flex:1;min-width:0;font-size:13px;min-height:42px}.copy{display:grid;font-size:14px;margin:16px 0}.copy>*{grid-area:1/1;margin:0}.reserve{visibility:hidden}.scope{margin-top:14px;color:var(--muted);font-size:12px}.scope summary{padding:8px 0;cursor:pointer}.scope p{margin-top:10px}.two{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.card{border:1px solid var(--rule);border-radius:9px;padding:14px;min-width:0}.card header{font-size:14px;font-weight:600;margin-bottom:10px}.card button{font-size:12px;width:100%;min-width:0}.card small{display:block;font-size:12px;color:var(--muted)}.card code{font-size:12px;overflow-wrap:anywhere}.metrics{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:16px 0}.metrics>div{border-left:2px solid var(--accent);padding-left:10px;min-width:0}.metrics span{display:block;min-height:3.2em;color:var(--muted);font-size:12px}.metrics strong{font-size:23px;display:block;font-weight:500;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.formula{border-top:1px solid var(--rule);padding-top:12px;margin-top:14px;font-size:13px;font-variant-numeric:tabular-nums;overflow-wrap:anywhere}.value{font:500 20px var(--viz-font-ui)}.legend{display:flex;flex-wrap:wrap;gap:6px 14px;font-size:12px;color:var(--muted);margin:12px 0}.legend span:before{content:'';display:inline-block;width:8px;height:8px;border-radius:2px;background:var(--accent);margin-right:6px}.legend .second:before{background:var(--second)}.check{display:flex;align-items:center;gap:8px;font-size:13px;margin:12px 0}.check input{width:16px;height:16px;flex-shrink:0;accent-color:var(--accent)}select,input[type=text],input[type=number]{background:var(--paper);color:var(--ink);font:inherit;font-size:13px;padding:10px;border:1px solid var(--rule);border-radius:7px;max-width:100%;min-width:0}select{width:100%;min-height:42px}.band{height:20px;display:flex;background:var(--surface);border-radius:4px;overflow:hidden}.band i{height:100%;display:block;background:var(--accent);transition:width .25s}.band i.second{background:var(--second)}button:disabled{cursor:default}.status{font-size:13px;min-height:4.8em}.mono{font-family:var(--viz-font-mono);font-variant-numeric:tabular-nums}.muted{color:var(--muted)}\n@media(max-width:480px){.two{gap:8px}.card{padding:12px 9px}.actions button,.presets button{font-size:12px}.metrics strong{font-size:20px}.metrics{gap:8px}}\n@media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important}}\n.track-row{margin:16px 0}.track-row>span{display:block;font-size:12px;color:var(--muted);margin-bottom:7px}.track{display:flex;gap:5px;min-width:0}.cell{flex:1;min-width:0;min-height:48px;border:1px solid var(--rule);border-radius:5px;background:var(--surface);display:flex;align-items:center;justify-content:center;text-align:center;padding:5px 3px;font-size:12px;overflow-wrap:anywhere;font-variant-numeric:tabular-nums}.cell.on{background:var(--accent-soft);border-color:var(--accent)}.cell.gold{background:var(--second-soft);border-color:var(--second)}.cell.empty{border-style:dashed;color:var(--muted)}.cell.error{border-color:var(--second);text-decoration:line-through}.choices{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px;margin:14px 0}.choices button{min-width:0;padding:10px 4px;font-size:12px;overflow-wrap:anywhere}.choices button[aria-current=true]{border-color:var(--accent);background:var(--accent-soft)}.relation{display:grid;grid-template-columns:minmax(0,1fr) 28px minmax(0,1fr);align-items:center;gap:6px;margin:12px 0}.relation .cell{min-height:72px}.relation>i{text-align:center;font-style:normal;color:var(--accent)}.readout{font-size:13px;white-space:pre-line;min-height:6.4em;overflow-wrap:anywhere}.plot{position:relative;border-left:1px solid var(--rule);border-bottom:1px solid var(--rule);padding:8px 0;margin:18px 0}.plot-row{height:28px;position:relative;margin:4px 0;background:var(--surface)}.plot-row i{position:absolute;inset-block:5px;background:var(--accent);min-width:2px;transition:width .2s,left .2s}.plot-row b{position:relative;padding:4px 6px;font:11px/28px var(--viz-font-ui);background:var(--paper);border-radius:3px}.axis{display:flex;justify-content:space-between;font-size:11px;color:var(--muted)}\n\n/* Action labels must remain readable across locales and narrow embeds. */\n.actions{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:8px}\n.actions button{overflow-wrap:anywhere;white-space:normal;min-height:58px;padding:8px}\nbutton{overflow-wrap:anywhere}\n@media(min-width:640px){.actions{grid-template-columns:repeat(3,minmax(0,1fr))}}\n\n.metrics span{overflow-wrap:anywhere}\n.panel{border:1px solid var(--rule);border-radius:9px;padding:12px;margin:14px 0;min-width:0}.panel h3{font-size:13px;margin:0 0 10px;color:var(--muted)}.source{font:13px/1.8 var(--viz-font-mono);white-space:pre-wrap;overflow-wrap:anywhere;margin:12px 0}.source mark{background:var(--accent-soft);color:var(--ink);border-bottom:2px solid var(--accent)}.source .fault{background:var(--second-soft);border-color:var(--second)}.diagram{display:block;width:100%;height:auto;max-height:320px;margin:14px 0;overflow:visible}.diagram text{fill:var(--ink);font:12px var(--viz-font-ui)}.diagram .edge{stroke:var(--muted);stroke-width:1.5;fill:none}.diagram .edge.on{stroke:var(--accent);stroke-width:3}.diagram .node{fill:var(--surface);stroke:var(--rule);stroke-width:1.5}.diagram .node.on{fill:var(--accent-soft);stroke:var(--accent)}.diagram .node.gold{fill:var(--second-soft);stroke:var(--second)}.log{font:12px/1.8 var(--viz-font-mono);white-space:pre-line;overflow-wrap:anywhere;min-height:7.2em}.table{display:grid;gap:5px;margin:14px 0}.table .tr{display:grid;grid-template-columns:repeat(3,minmax(0,1fr));gap:5px}.table .tr>*{padding:8px 5px;background:var(--surface);border-radius:4px;min-width:0;overflow-wrap:anywhere;font-size:12px}.table .tr .on{background:var(--accent-soft)}.table .tr .gold{background:var(--second-soft)}.choices button{min-height:44px}.metrics strong{min-height:1.6em}.code-line{display:block}.code-line.on{background:var(--accent-soft);border-left:2px solid var(--accent);padding-left:6px}.status-badge{font-size:12px;color:var(--accent)}.tile-grid{display:grid;grid-template-columns:repeat(4,minmax(0,1fr));gap:6px}.tile-grid .cell{min-height:40px}.actions button{min-height:48px}.form-field{display:grid;gap:8px;margin:14px 0;font-size:13px}.form-field input{width:100%;font-family:var(--viz-font-ui)}.metrics.three{grid-template-columns:repeat(3,minmax(0,1fr))}.formula{min-height:3.2em}.presets{flex-wrap:wrap}.presets button{flex-basis:25%;min-height:44px}\n\n.budget{display:flex;height:28px;margin:16px 0;background:var(--surface);border-radius:5px;overflow:hidden}.budget i{display:block;background:var(--accent);transition:width .2s}.budget i.gold{background:var(--second)}.intervals{margin:16px 0}.interval{position:relative;height:36px;background:var(--surface);margin:6px 0;border-radius:4px;overflow:hidden}.interval i{position:absolute;height:100%;background:var(--accent-soft);border-left:2px solid var(--accent)}.interval i.gold{background:var(--second-soft);border-color:var(--second)}.interval span{position:relative;z-index:1;font:12px/36px var(--viz-font-ui);padding-left:7px}.table .tr>*{min-height:4.8em}.formula{white-space:pre-line;min-height:7.2em}.actions:has(>button:only-child){grid-template-columns:1fr}.metrics strong{min-height:3.2em}.rangegrid{display:grid;grid-template-columns:repeat(12,minmax(0,1fr));gap:3px;margin:14px 0}.rangegrid .cell{min-height:30px;padding:3px 1px;font-size:10px}.message{min-height:7.2em;white-space:pre-line;font:13px/1.8 var(--viz-font-ui);overflow-wrap:anywhere}\n/* Allow CJK hanging punctuation without overflowing a metric's border box. */\n.metrics>div{padding-right:4px}.metrics span{line-break:anywhere}\n\n#outputs .tr{grid-template-columns:1fr 1.4fr}#outputs .tr>*{white-space:pre-line}.tr>*{min-height:4em;font-family:var(--viz-font-ui)}","js":"const $=s=>document.querySelector(s);const set=(id,v)=>$('#'+id).textContent=v;const t=k=>viz.t(k);function cells(id,values){$('#'+id).replaceChildren(...values.map(v=>{const e=document.createElement('div');e.className='cell '+(v.cls||'');e.textContent=v.text;e.title=v.title||v.text;return e;}));}function pressed(mode){document.querySelectorAll('[data-mode]').forEach(e=>e.setAttribute('aria-pressed',String(e.dataset.mode===mode)));}const esc=s=>String(s).replace(/[&<>\"']/g,c=>({'&':'&','<':'<','>':'>','\"':'"',\"'\":'''}[c]));const fmt=s=>'{'+[...s].sort().join(', ')+'}';function graph(id,nodes,edges){const el=$('#'+id);el.setAttribute('viewBox','0 0 360 200');el.innerHTML='<defs><marker id=\"arrow-'+id+'\" viewBox=\"0 0 10 10\" refX=\"8\" refY=\"5\" markerWidth=\"5\" markerHeight=\"5\" orient=\"auto-start-reverse\"><path d=\"M 0 0 L 10 5 L 0 10 z\" fill=\"var(--muted)\"/></marker></defs>'+edges.map(e=>{const a=nodes[e[0]],b=nodes[e[1]],dx=b.x-a.x,dy=b.y-a.y,d=Math.hypot(dx,dy)||1;if(edges.some(r=>r[0]===e[1]&&r[1]===e[0])){const nx=-dy/d,ny=dx/d;return '<path class=\"edge '+(e[2]?'on':'')+'\" d=\"M '+(a.x+dx/d*22+nx*12)+' '+(a.y+dy/d*22+ny*12)+' Q '+((a.x+b.x)/2+nx*38)+' '+((a.y+b.y)/2+ny*38)+' '+(b.x-dx/d*25+nx*12)+' '+(b.y-dy/d*25+ny*12)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}return '<line class=\"edge '+(e[2]?'on':'')+'\" x1=\"'+(a.x+dx/d*25)+'\" y1=\"'+(a.y+dy/d*25)+'\" x2=\"'+(b.x-dx/d*28)+'\" y2=\"'+(b.y-dy/d*28)+'\" marker-end=\"url(#arrow-'+id+')\"/>';}).join('')+nodes.map(n=>'<g><circle class=\"node '+(n.cls||'')+'\" cx=\"'+n.x+'\" cy=\"'+n.y+'\" r=\"25\"/><text x=\"'+n.x+'\" y=\"'+(n.y+4)+'\" text-anchor=\"middle\">'+esc(n.name)+'</text>'+(n.sub?'<text x=\"'+n.x+'\" y=\"'+(n.y+43)+'\" text-anchor=\"middle\">'+esc(n.sub)+'</text>':'')+'</g>').join('');}function table(id,rows){$('#'+id).classList.add('table');$('#'+id).replaceChildren(...rows.map(r=>{const row=document.createElement('div');row.className='tr';r.forEach(x=>{const c=document.createElement('div');if(typeof x==='object'){c.textContent=x.text;c.className=x.cls||'';}else c.textContent=x;row.append(c)});return row;}));}function band(id,parts,total){$('#'+id).replaceChildren(...parts.map((p,i)=>{const e=document.createElement('i');e.style.width=(100*p.value/total)+'%';e.className=i%2?'gold':'on';e.title=p.name+': '+p.value;return e}));}function intervals(id,items,total){$('#'+id).replaceChildren(...items.map(p=>{const row=document.createElement('div');row.className='interval';const bar=document.createElement('i');bar.style.left=(100*p.start/total)+'%';bar.style.width=(100*(p.end-p.start)/total)+'%';bar.className=p.cls||'';const label=document.createElement('span');label.textContent=p.label;row.append(bar,label);return row;}));}const enc=s=>new TextEncoder().encode(s),cat=(...xs)=>Uint8Array.from(xs.flatMap(x=>[...x])),hex=x=>[...x].map(n=>n.toString(16).padStart(2,'0')).join('');async function sha(x){return new Uint8Array(await crypto.subtle.digest('SHA-256',x))}async function hmac(k,x){const key=await crypto.subtle.importKey('raw',k,{name:'HMAC',hash:'SHA-256'},false,['sign']);return new Uint8Array(await crypto.subtle.sign('HMAC',key,x))}async function prf(secret,label,seed,n){const s=cat(enc(label),seed);let a=s,out=new Uint8Array;while(out.length<n){a=await hmac(secret,a);out=cat(out,await hmac(secret,cat(a,s)))}return out.slice(0,n)}async function expand(secret,info,n){let prev=new Uint8Array,out=new Uint8Array;for(let i=1;out.length<n;i++){prev=await hmac(secret,cat(prev,info,[i]));out=cat(out,prev)}return out.slice(0,n)}async function label(secret,name,ctx,n){const l=enc('tls13 '+name),info=cat([n>>8,n&255,l.length],l,[ctx.length],ctx);return expand(secret,info,n)}async function derive(secret,name,messages){return label(secret,name,await sha(messages),32)}let mode='ems',epoch=0;async function compute(changed){const p=Uint8Array.from({length:32},(_,i)=>i),cr=Uint8Array.from({length:32},(_,i)=>i),sr=Uint8Array.from({length:32},(_,i)=>i+32);if(changed&&$('#pms').checked)p[0]^=1;if(changed&&$('#random').checked)cr[0]^=1;const transcript=cat(enc('teaching transcript'),cr,sr,enc(changed&&$('#transcript').checked?'changed':'original')),hash=await sha(transcript),main=await prf(p,mode==='ems'?'extended master secret':'master secret',mode==='ems'?hash:cat(cr,sr),48),block=await prf(main,'key expansion',cat(sr,cr),40),finished=await prf(main,'client finished',hash,12);return[main,block.slice(0,16),block.slice(16,32),finished]}async function draw(){const e=++epoch;set('status',t('busy'));$('#status').dataset.ready='false';const old=await compute(false),now=await compute(true);if(e!==epoch)return;table('outputs',['main','client key','server key','Finished'].map((name,i)=>[name,{text:hex(now[i].slice(0,8)).match(/.{8}/g).join(String.fromCharCode(10)),cls:hex(now[i])===hex(old[i])?'':'gold'}]));$('#outputs').dataset.hex=JSON.stringify(now.map(hex));set('status',t('ready'));$('#status').dataset.ready='true';pressed(mode)}table('outputs',['main','client key','server key','Finished'].map(x=>[x,'00000000'+String.fromCharCode(10)+'00000000']));document.querySelectorAll('input').forEach(e=>e.onchange=draw);document.querySelectorAll('[data-mode]').forEach(b=>b.onclick=()=>{mode=b.dataset.mode;draw()});draw();","audio":false,"strings":{"busy":"計算中","ems":"EMS","heading":"入力を変更した場合、どの秘密が変化するか?","intro":"従来の派生または EMS を選択し、公開された教育用 PMS、random、およびハンドシェイク履歴をそれぞれ変更します。","legacy":"従来の PRF","mode":"派生パス","outputs":"実際の出力の最初の 8 バイト(金色:初期値に対して変更あり)","pms":"PMS を変更","random":"client_random を変更","ready":"再計算済み","reset":"リセット","scope":"実際の SHA256/HMAC PRF、固定された公開の 32 バイト PMS/random、およびプレースホルダーのトランスクリプト。random を変更すると、トランスクリプトも変更されます。EMS 例では、対応するフェーズを表すために同じ教育用要約を使用し、ハンドシェイクや認証は実装されません。","scopeLabel":"モデルの範囲と規約","status":"計算状態","transcript":"他のハンドシェイクメッセージを変更"}}
レコードオーバーヘッド:アプリケーションバイトはオンラインバイトと等しくない
本例の TLS 1.2 AES-GCM レコードでは、1000 バイトのアプリケーション平文に加え、8 バイトの明示的な nonce、16 バイトのタグ、および 5 バイトのレコードヘッダーがあり、TLS レベルでは合計 1029 バイトです。TCP/IP およびリンクヘッダーは未計上です。AEAD/CBC スイートによってオーバーヘッドは異なり、29 バイトを TLS 1.3 に適用することはできません。
レコードシーケンス番号などの情報は認証に関与し、受信側は接続状態に基づいて処理するため、レコードを任意に交換または変更しても、同じ有効なアプリケーションストリームが得られるわけではありません。アプリケーション側でメッセージレベルの重複排除やトランザクション確認が必要な場合、TLS はこれらのセマンティクスを代行して完了させるものではありません。
復元:セッション秘密の再利用と新しい接続状態の派生
Session ID 方式では、サーバーが ID を使用してキャッシュされたセッションを検索します。チケット方式では、セッション状態を、サーバーが復元可能で、機密性と完全性保護付きの形式でクライアントに渡すことができます。RFC 5077 では拡張交渉を通じて、NewSessionTicket ハンドシェイクメッセージでチケットが発行されます。最初のチケットが単に ServerHello 拡張に詰め込まれた blob であるとは言えません。RFC 5077:セッションチケット
復元が成功した場合、簡略化されたハンドシェイクが使用され、通常、サーバーが最初に ServerHello、CCS、Finished を送信し、クライアントが CCS、Finished を返すという約1 RTT の TLS 対話となります。双方は新しい random から接続キーを派生し、前回のすべてのレコードキー/nonce/シーケンス番号をそのまま引き継いで使い続けることはありません。
復元は、チケット/キャッシュの有効期限、キー、パラメータ、およびポリシーに応じて、拒否されて完全なハンドシェイクにフォールバックする場合があります。チケットメカニズムはセッションごとのサーバーストレージを削減しますが、サーバーが完全にステートレスであることを意味するものではありません。チケット保護キー、ローテーション、ポリシー、およびリソースの管理は依然として必要です。
公開で観察可能な暗号化されたチケット自体とチケットを復号できるサーバー保護キーの漏洩は、同じイベントではありません。後者は、カプセル化されたセッション秘密および関連する履歴トラフィックの露出を引き起こす可能性があります。クライアントが保存する復元秘密の盗難も影響を及ぼします。機密性とライフサイクルは、復元全体のメカニズムに基づいて分析すべきであり、「チケットの漏洩が必ずすべての履歴セッションの復号を意味する」と概括してはいけません。
ローカル PRF とエンコーディング予算
import hashlib
import hmac
def prf(secret,label,seed,length):
seed = label+seed
A = seed
out = b''
while len(out)<length:
A = hmac.digest(secret,A,'sha256')
out += hmac.digest(secret,A+seed,'sha256')
return out[:length]
pms = bytes(range(32))
client_random,server_random = bytes(range(32)),bytes(range(32,64))
master = prf(pms,b'master secret',client_random+server_random,48)
assert len(master)==48
assert master != prf(pms,b'master secret',server_random+client_random,48)
transcript_hash = hashlib.sha256(b'teaching handshake transcript').digest()
ems = prf(pms,b'extended master secret',transcript_hash,48)
assert ems != master
block = prf(master,b'key expansion',server_random+client_random,40)
client_key,server_key,civ,siv = block[:16],block[16:32],block[32:36],block[36:40]
assert tuple(map(len,(client_key,server_key,civ,siv)))==(16,16,4,4)
assert client_key != server_key
finished = prf(master,b'client finished',transcript_hash,12)
changed = hashlib.sha256(b'changed handshake transcript').digest()
assert finished != prf(master,b'client finished',changed,12)
assert finished != prf(master,b'server finished',transcript_hash,12)
assert 1000+8+16+5==1029
print('TLS 1.2 PRF 入力順序、EMS 分離、方向別キー、Finished および GCM オーバーヘッド通過')
このコードは、SHA256 P_hash の組み合わせと依存関係をデモンストレーションするものであり、トランスクリプトは教育用のプレースホルダーバイトであり、完全な TLS ハンドシェイクではありません。実際の証明書の生成、外部サービスとのハンドシェイク、または TLS 設定の変更は行われません。
参照