服务器发来证书和临时 ECDHE 公钥,客户端为什么不能只验证证书就开始加密?证书绑定长期身份,握手签名把临时参数绑定到该身份,Finished 再确认双方对协商历史和密钥的理解一致。这三个检查互相配合,才构成可认证的安全通道。
想确认什么 对应机制
对端是否是预期服务 证书链、服务身份与用途检查
临时密钥参数是否被冒充 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 record 与握手消息
TLS 通常运行在 TCP 之上,TCP 分段、TLS record 和 Handshake message 是三种边界。一条握手消息可以跨多个 record,一个 record 也可装多个握手消息;抓到一个 TCP 包不等于看到完整 Certificate。
TLS 1.2 record 的固定头为 5 B,表示内容类型、版本和长度。Handshake message 另有 1 B 类型和 3 B 长度。握手 transcript 按协议握手消息编码累计,不是直接把以太网帧或 TCP 分段字节全部 hash。RFC 5246:记录层与握手
四个 flight:约两次 TLS 往返
TLS 1.2 完整 ECDHE 握手:无客户端证书的常见路径
客户端
服务器
ClientHello:版本、random、套件与扩展
ServerHello、Certificate、ServerKeyExchange、ServerHelloDone
ClientKeyExchange、CCS、Finished
CCS、Finished
客户端验证证书身份与服务器临时参数签名
双方独立计算 ECDH 共享秘密,按相同规则派生密钥
CCS 是独立协议消息,切换记录保护;Finished 验证握手 transcript。图不包含 TCP 建连和可选恢复。
客户端先发 ClientHello,服务端返回选择结果、证书和带签名的临时参数;客户端验证后发自己的临时公钥,再切换保护并发 Finished;服务端验证后切换并返回 Finished。常规完整握手约两 RTT,不含 TCP 建连、DNS、重试与证书处理 ,也不是无论何种扩展都固定耗时。
服务器在 ECDHE 路径中计算共享秘密,不是“用 RSA 私钥解密客户端发来的 pre_master_secret”。后者属于另一种历史密钥交换。可选客户端证书认证还会增加 CertificateRequest、客户端 Certificate/CertificateVerify 等消息,后续 mTLS 篇单独展开。
ClientHello/ServerHello:选择必须有共同上下文
ClientHello 带版本、32 B random、套件列表以及扩展;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 bit AES 的 AEAD 记录保护 另加一个 SHA256 记录 MAC
SHA256 套件规定的 TLS 1.2 PRF hash 全部 TLS 1.2 套件只允许 SHA256
例如 AES-256-GCM-SHA384 套件使用 SHA384 PRF。套件是注册的整体组合,不能任意拼四段字符串就产生一个有效套件;握手签名使用的 hash 还受签名算法协商约束,不必等于套件名结尾。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)
这里两个 random 的顺序与传统 master_secret 式相反。PRF 标签、输入次序、hash 和长度都参与结果,不能只要双方有相同 PMS 就任意拼接。客户端写密钥用于客户端发送方向,服务器写密钥用于反方向。
AES-128-GCM 示例:分方向派生 40 B key_block
master_secret:48 B
由 PMS 与协商的 PRF/EMS 规则派生
client_write_key
16 B
server_write_key
16 B
client IV
4 B
server IV
4 B
此 GCM 套件没有独立记录 MAC key;固定 IV 与每条记录显式 nonce 共同构造 nonce,不能重复。
AES-128-GCM 示例需要两份 16 B write key、两份 4 B 固定 IV,共 40 B;独立 write_MAC_key 长度为零。AEAD 自身提供记录认证,因此这里不再分配独立的记录 HMAC 密钥。GCM nonce 还含每条记录的 8 B 显式部分,固定 IV 不等于每条记录可重用完全相同 nonce。RFC 5288:TLS GCM
CCS 与 Finished:切换保护和确认历史
TLS 1.2 ChangeCipherSpec 是独立协议消息,通知对端随后使用已协商的保护状态。Finished 是握手消息,使用新记录保护发送,其 verify_data 为基于 master_secret、方向标签和 transcript hash 的 PRF 输出;本例为 12 B。RFC 5246:Finished
Finished 不是服务器再用证书私钥做一次数字签名。验证它需要共享秘密,也把协商历史绑定进来;客户端 Finished 的 transcript 不包含自身,之后服务器 Finished 的 transcript 则包含已经发送的客户端 Finished。CCS 不作为 Handshake message 纳入该 transcript。
验完服务器 Finished 才能按常规完整握手流程确信这一阶段完成。某些优化会允许特定条件下提前发送,不能用它们把基线流程任意改写。TLS alert 与 TCP 断开也不同,协议关闭语义和应用是否完成自己的消息需要分别处理。
改变一处输入,哪些秘密会跟着改变?
先在传统路径中只改变其他握手消息:主秘密与记录密钥保持不变,Finished改变。再切到EMS,同样的修改沿session_hash传到主秘密及后续输出。颜色来自实际字节比较,不是预设的动画。
正在呈现知识画面 重新加载
改变一处输入,哪些秘密会跟着改变? 派生是有方向的依赖图。传统主秘密不绑定完整transcript,EMS绑定session_hash;Finished还会绑定自己所覆盖的握手历史。
{"id":"tls12-prf-dependencies","title":"改变一处输入,哪些秘密会跟着改变?","summary":"派生是有方向的依赖图。传统主秘密不绑定完整transcript,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 B(金:相对初始值改变)","pms":"改变 PMS","random":"改变 client_random","ready":"已重算","reset":"重置","scope":"实际SHA256/HMAC PRF,固定公开32 B PMS/random和占位transcript。改变random时也改变transcript。EMS示例用同一教学摘要代表相应阶段,不实现握手或认证。","scopeLabel":"模型范围与约定","status":"计算状态","transcript":"改变其他握手消息"}}
记录开销:应用字节不等于线上字节
在本例 TLS 1.2 AES-GCM record 中,1000 B 应用明文,另有 8 B 显式 nonce、16 B tag 和 5 B record 头,TLS 层共 1029 B;尚未计 TCP/IP 和链路头。不同 AEAD/CBC 套件有不同开销,不能把 29 B 套用到 TLS 1.3。
记录序号等信息参与认证,接收端按连接状态处理,不能任意交换或删改记录后仍得到相同有效应用流。若应用自己需要消息级去重和事务确认,TLS 也不替它完成这些语义。
恢复:复用会话秘密,派生新的连接状态
Session ID 方式由服务端用 ID 查找缓存会话;票据方式可将会话状态以服务端可恢复、带机密性和完整性保护的形式交给客户端。RFC 5077 通过扩展协商,并由 NewSessionTicket 握手消息发出票据,不能说首次票据只是塞进 ServerHello extension 的 blob。RFC 5077:会话票据
恢复成功时使用简化握手,通常服务端先发送 ServerHello、CCS、Finished,客户端再返回 CCS、Finished,约一 RTT 的 TLS 交互。双方使用新 random 派生连接密钥,而不是把上一次所有记录 key/nonce/序号原样拿来继续。
恢复可能被拒绝并转完整握手,取决于票据/缓存寿命、密钥、参数和策略。票据机制减少逐会话服务器存储,不代表服务端完全无状态:票据保护密钥、轮换、策略及资源仍需管理。
公开可观察到的加密票据本身 与能解密票据的服务端保护密钥 泄漏不是同一事件。后者可能暴露被封装的会话秘密及相关历史流量;客户端保存的恢复秘密失窃也有影响。保密与生命周期应按整个恢复机制分析,不能用“ticket 泄露就一定解密所有历史会话”概括。
本地 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 组合及依赖关系,transcript 是教学占位字节,不是完整 TLS 握手;未生成真实证书、与外部服务握手或更改 TLS 配置。
继续查阅