リゾルバが A レコード、公開鍵、および署名を同時に取得し、署名検証が成功したとしても、結果を直ちに信頼することはできません。攻撃者も独自の鍵を生成し、偽のアドレスに署名することは可能だからです。DNSSEC の鍵は、対象 RRset の署名鍵をローカルで信頼されたアンカーに接続し、署名、否定証明、有効期間のすべてが成立しているかどうかを判断することにあります。
問題 核心的な判断基準
データは誰が認可したか 信頼アンカーから対象 RRset までの認証チェーン
RRSIG があるからといって安全か 署名の数学的正当性と鍵の信頼性は別々に検証する
存在しない名前はどのように署名するか NSEC/NSEC3 により認証された否定証明を提供する
署名があるのに SERVFAIL になるのはなぜか DS、DNSKEY、署名時刻、アルゴリズム、ネットワークのすべてを確認する必要がある
DNSSEC はクエリを隠すのか 機密性は提供しない。暗号化された転送が別の役割を担う
TLSA がすべての CA を直接置き換えるのか usage、DNSSEC の状態、およびアプリケーションの検証仕様による
セキュリティ目標:RRset の認証であり、ビジネスの善意を保証するものではない
DNSSEC は、DNS データの送信元認証、完全性、および認証された不存在証明を提供します。署名の基本単位は RRset であり、各 RR が個別に署名されるわけでも、ID、Flags、任意の追加データを含む応答パケット全体が統一して署名されるわけでもありません。キャッシュや別の権威サーバーが同じ署名済みデータを配信しても、検証は特定の物理サーバーへの接続を要求しません。RFC 4033:能力と境界
DNSSEC は、名前、アドレス、またはクエリ時刻を暗号化するものではなく、サービスの可用性を保証するものでもなく、ドメイン運営者が悪意を持っていないことを証明するものでもありません。ドメイン所有者が正しく署名した誤った A レコードであっても、それは認証された誤った設定です。秘密鍵やレジストラのアカウントが侵害された場合もまた、「途中改ざんの防止」という能力の範囲を超えています。
従来の DNS におけるランダムなトランザクション ID、ソースポート、応答関連性、およびキャッシュ適格性チェックは、なりすましの難易度を高めるものですが、暗号学的な送信元認証ではありません。DNSSEC はこれらのチェックと補完関係にあり、有効化してもすべてのリゾルバ保護を解除できるものではありません。
4種類のレコードの役割
種類 保存内容 検証時の役割
DNSKEY, 48 flags, protocol, algorithm, 公開鍵 候補検証鍵を提供する
RRSIG, 46 署名対象タイプ, アルゴリズム, 時刻, key tag, 署名など 正規化された RRset の検証を行う
DS, 43 key tag, 鍵アルゴリズム, ダイジェストタイプ, ダイジェスト 親ゾーンからの認可を子ゾーンの DNSKEY に接続する
NSEC / NSEC3, 47 / 50 名前またはハッシュ範囲, タイプビットマップなど 否定応答と委譲状態の証明をサポートする
RRSIG には Original TTL が含まれています。これはキャッシュ転送において TTL が減算されるためです。正規化された署名検証には、規定された元の値、名前形式、およびソート順序を使用する必要があります。Key Tag は候補鍵をフィルタリングするための短い識別子であり、衝突の可能性があり、暗号学的な指紋として扱うことはできません。RFC 4034:レコード形式と正規化
DS ダイジェストの入力は、正規化された owner name の wire encoding と DNSKEY RDATA の連結です。DNSKEY RDATA には Flags、Protocol、Algorithm、および公開鍵のバイト列が含まれます。公開鍵だけをハッシュすることはできず、Base64 形式のテキストをハッシュすることはさらにできません。ダイジェストアルゴリズムは Digest Type によって決定され、すべての DS が固定で SHA-256 であるわけではありません。
信頼チェーン:子ゾーンの鍵セット検証を省略しない
ゾーン跨ぎごと:信頼できる親ゾーンの署名 → DS ダイジェストの一致 → 子ゾーンの鍵セット
信頼済み親ゾーン DNSKEY
信頼アンカーまたは上位チェーンから取得
親ゾーン内の子ゾーン DS
DS をカバーする RRSIG を最初に検証
一致する子ゾーン DNSKEY
正規化された owner + DNSKEY RDATA
子ゾーン DNSKEY RRset の検証
認証済みの鍵によって署名検証
対象 A / AAAA などの RRset の検証
子ゾーンの信頼された鍵セットを使用
公開鍵をダウンロードして自己署名の検証に成功したからといって、信頼アンカーに接続されたわけではありません。DS ダイジェストの一致だけで鍵セットの検証を省略することはできません。
信頼アンカーは、事前に信頼された DNSKEY または DS 情報として表現できます。デプロイメントはルートからグローバルチェーンを構築することもできますし、他のゾーンのアンカーを信頼として設定することもできます。固定された「ルート DNSKEY のハッシュ 1 つ」というわけではありません。ルートから対象ゾーンまでの例では、親ゾーンの DS 署名検証、子ゾーンの DNSKEY ダイジェスト一致、子ゾーンの DNSKEY RRset 署名検証を繰り返し実行し、最終的に対象レコードを検証します。
子ゾーンの DNSKEY をダウンロードして直接 A レコードの署名を検証しても、「この公開鍵の秘密鍵が署名した」ということしか示せません。信頼された認可がある公開鍵であることを最初に証明して初めて、安全な結果が導き出せます。親ゾーンに保存される DS は親ゾーンによって署名され、子ゾーンの DNSKEY RRset は子ゾーンの対応する鍵によって署名されます。これら 2 つの役割を逆にすることはできません。RFC 4035:検証プロセス
検証状態 説明 アプリケーションへの意味
Secure 必要な認証チェーンと関連検証が成立している DNSSEC の信頼モデル下でデータを認証する
Insecure 署名チェーンが構築されていないことが確実である(例:認証された DS なし委譲) 署名が破損したわけでも、認証が成功したわけでもない
Bogus 信頼関係に基づけば検証可能であるはずが失敗した 検証リゾルバは通常、正常な結果として配信しない
Indeterminate 信頼チェーンがあるかどうかを決定できない 強制的に Secure として扱うことはできない
「DS が受信できない」ことは、「DS が存在しない」という確実な証明を得たことにはなりません。前者はタイムアウト、切り捨て、またはフィルタリングの可能性もあります。同様に、既存の信頼アンカーに接続されていない孤立した署名済みゾーンは、RRSIG があるからといってインターネット全体がそれを検証できると主張することはできません。
TTL、署名時刻、および時計
キャッシュの TTL と署名の有効期間は異なる制約である
レコード TTL: 3600 秒
対応するキャッシュは最大 1 時間
署名の残り時間: 900 秒
絶対的な有効期限は現在から 15 分後
有効なキャッシュ上限 ≤900 秒
他の TTL 制約も考慮する必要がある
期限切れ間近の同じ署名を再取得しても、絶対的な有効期限は先には延ばされない
署名がまだ有効になっていない、期限切れ、またはローカル時計のエラーは、本来解析可能なゾーンでも検証に通らなくする可能性があります。
RRset の TTL=3600 秒を受け取り、署名の残り時間が 900 秒しかない場合、署名が現在有効であっても、検証キャッシュは 3600 秒を無条件で再利用することはできません。有効なキャッシュ寿命は、RRSIG TTL、Original TTL、および署名の残り時間などの制約によっても影響を受けます。RFC 4035:認証後のキャッシュ
署名の Inception/Expiration は絶対的な有効期間であり、TTL はキャッシュの相対的な寿命です。これらは、再取得を繰り返すことで互いにリセットされるものではありません。事前の再署名と適切な時刻同期は可用性に影響します。ローカル時計の大幅なずれは、本来正常な複数のゾーンが、同時に「署名がまだ有効になっていない」または「期限切れ」として表示される原因となります。
署名は検証できたのに、なぜ Secure にならないのか?
対象の署名が正しいと仮定し、DS の一致または鍵セットの検証を個別に無効化します。最後のブロックで信頼できるパスが構築されていないため、Secure にはなりません。さらに時刻を有効期限前に移動すると、寿命は署名の残り時間によって圧縮されます。t=2900 の時点では、時間条件は通過できますが、キャッシュ寿命の上限はすでにゼロです。その後、署名の有効期間を超えます。
図を準備しています 再読み込み
署名は検証できたのに、なぜ Secure にならないのか? 対象の署名が正しいことは、最後の条件に過ぎません。認可チェーンの欠落、鍵セット検証の失敗、または時間の無効化は、対象自身の署名では補えません。
{"id":"dnssec-chain-and-time","title":"署名は検証できたのに、なぜ Secure にならないのか?","summary":"対象の署名が正しいことは、最後の条件に過ぎません。認可チェーンの欠落、鍵セット検証の失敗、または時間の無効化は、対象自身の署名では補えません。","height":1000,"html":"<h2 data-i18n=\"heading\"></h2><p class=\"intro\" data-i18n=\"intro\"></p><label class=\"check\"><input type=\"checkbox\" id=\"ds\" checked><span data-i18n=\"ds\"></span></label><label class=\"check\"><input type=\"checkbox\" id=\"match\" checked><span data-i18n=\"match\"></span></label><label class=\"check\"><input type=\"checkbox\" id=\"keys\" checked><span data-i18n=\"keys\"></span></label><label class=\"check\"><input type=\"checkbox\" id=\"rr\" checked><span data-i18n=\"rr\"></span></label><div class=\"control\"><label for=\"time\" data-i18n=\"time\"></label><output for=\"time\" id=\"time-value\"></output><input id=\"time\" type=\"range\" min=\"500\" max=\"3500\" value=\"2000\" step=\"100\"></div><div class=\"track-row\"><span data-i18n=\"state\"></span><div id=\"chain\" class=\"track\"></div></div><div class=\"metrics\"><div><span data-i18n=\"state\"></span><strong id=\"state\"></strong></div><div><span data-i18n=\"life\"></span><strong id=\"life\"></strong></div></div><p id=\"equation\" class=\"formula\"></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","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;}));}function draw(){const now=+$('#time').value,checks=['ds','match','keys','rr'].map(id=>$('#'+id).checked);let trusted=true;cells('chain',['DS','DNSKEY','KEYSET','RRset'].map((text,i)=>{trusted=trusted&&checks[i];return{text,cls:trusted?'on':'empty'}}));const valid=trusted&&now>=1000&&now<=2900,life=valid?Math.min(3600,2900-now):0;set('time-value',now);set('state',valid?'Secure':'Bogus');set('life',life);set('equation','1000 ≤ '+now+' ≤ 2900: '+(now>=1000&&now<=2900?'✓':'✗')+'\\nTTL ≤ min(3600, 2900 − '+now+')');$('#state').dataset.secure=String(valid);$('#life').dataset.value=life;}document.querySelectorAll('input').forEach(e=>e.oninput=draw);draw();","audio":false,"strings":{"ds":"親ゾーン DS 署名が正しい","heading":"署名は検証できたのに、なぜ Secure にならないのか?","intro":"認可チェーンの各リンクを個別に切断し、時刻を変更する。青は確立された信頼関係に沿ってのみ伝播する。","keys":"子ゾーン鍵セットの署名が正しい","life":"キャッシュ可能な寿命上限(秒)","match":"DS が子ゾーン DNSKEY と一致","reset":"リセット","rr":"対象 RRset の署名が正しい","scope":"固定された信頼できる親ゾーンアンカー、DS があることが知られている署名済み委譲。ボタンは独立した検証結果を表し、暗号学的な署名検証は実行しない。TTL/RRSIG TTL/Original TTL はすべて 3600、署名は [1000,2900]、シーケンス番号のラップオーバーは無視。","scopeLabel":"モデル範囲と規約","state":"検証状態","time":"検証時刻(秒)"}}
KSK、ZSK およびローテーション:役割は固定されたアルゴリズムの等級ではない
KSK は通常、DNSKEY RRset の署名を担当し、ZSK は通常、ゾーン内の他の権威 RRset の署名を担当します。combined signing key を 1 つ使用する也可以选择です。DNSKEY の Zone Key マスクは 0x0100、SEP は 0x0001 です。一般的な flags=256/257 はこれに由来します。SEP は役割のヒントであり、「この鍵は DNSKEY しか署名できない」という暗号学的な権限制限として扱うことはできません。
プロトコルは、KSK が常に 2048 ビット RSA で、ZSK が常に 1024 ビットであること、または年/月単位で交換する必要があることを規定していません。鍵アルゴリズム、署名の更新、および鍵の交換は異なる選択です。同じ鍵を複数回再署名することは可能であり、署名が期限切れだからといって、同時に鍵を交換しなければならないわけではありません。RFC 6781:DNSSEC 運用
ローテーションでは、古い DNSKEY、古い DS、古い署名がそれぞれ異なるキャッシュ内にまだ存在する可能性があることを考慮する必要があります。一般的なアプローチは、新しい鍵の公開とキャッシュ伝播の時間を確保し、重複期間中に必要な組み合わせがすべて検証できるようにし、その後、対応するローテーション計画に従って古い材料を退役させることです。「まず古い key を削除し、次に新しい DS をアップロードする」と一般化することはできません。これにより、古い DS をまだ信頼している検証ノードは子ゾーンの鍵と一致しなくなります。
管理画面での成功表示だけでなく、親ゾーンの DS 変更と各権威ノードの実際の応答を記録すべきです。退役の待機時間は、関連する TTL、署名の有効期間、および計画によって決定され、すべてのプロバイダーに適用できる固定の時間表を本稿で作成するものではありません。
NSEC/NSEC3:否定応答に対して検証可能な根拠を提供する
ゾーン内で DNS 仕様に従って名前の順序が隣接している存在する名前が a.example. と c.example. であると仮定します。署名済み NSEC はこれらの 2 つの名前を関連付けることで、その間に b.example. がないことを証明するのに役立ちます。名前は存在するが特定のタイプがない NODATA については、タイプビットマップが異なる証明情報を提供します。
これは直感的な範囲理解に過ぎず、完全な NXDOMAIN 証明には、closest encloser、ワイルドカードなどの条件を適切に処理する必要があります。単に文字列の辞書順範囲を 1 つ見つけただけで、証明が完了したと宣言することはできません。NSEC は DNS 名の規範的な順序を使用しており、任意の言語のデフォルトの文字列ソートとは異なります。
NSEC3 は規範的な名前にハッシュを適用し、対応する範囲を形成することで、チェーンから名前を直接読み取るコストを増加させますが、短く一般的な名前は辞書攻撃によって推測される可能性があります。Opt-Out を使用すると、対応する未署名委譲をハッシュチェーンに個別に含める必要がなくなり、特定の証明境界を持ちます。これは任意のレコードの署名免除スイッチではありません。RFC 5155:NSEC3
反復回数を増やすと検証作業量が増加しますが、大きいほど安全であるという一般的なチューニング項目として扱うことはできません。RFC 9276 は、NSEC3 で追加反復ゼロと空のソルトなどの設定の使用を推奨しています。パラメータは、使用されている署名/検証ソフトウェアのサポートと検証コストを考慮して選択する必要があります。RFC 9276:NSEC3 パラメータ
DO、AD、CD:フラグをキャッチしたからといって自己検証するわけではない
DO フラグは、DNSSEC データの能力/ニーズをクエリに関連して表現します。dig +dnssec は RRSIG を表示できますが、それだけで自動的に完全なローカル検証ノードになるわけではありません。AD は、検証ノードによる認証状態の宣言です。クライアントがポリシーに従ってこれを受信するには、その検証ノードを信頼し、そのノードへのパスに対応する保護がある必要があります。CD リクエストは対応するチェックを無効にし、問題の対照用であり、データを信頼できるものにするものではありません。
権威元の生レコード、再帰器の結果、およびローカル検証ノードの詳細な診断を個別に観察できます。SERVFAIL が発生した場合、ネットワーク障害、切り捨て処理、またはリソース制限が原因である可能性もあり、必ず DNSSEC の失敗であると断定することはできません。Extended DNS Errors は理由を補足できますが、すべての応答に含まれるわけではなく、自身の信頼判断を置き換えるものではありません。RFC 8914:EDE
現象 最初に確認すべき項目
DS は存在するが、一致する DNSKEY が見つからない 親/子ゾーンの公開状態が一致しているか、キャッシュが古い値を保持していないか
鍵は一致するが、対象の署名検証に失敗した RRset の正規化、署名、アルゴリズム、および権威ノードの一貫性
複数の正常なゾーンで突然時刻エラーが発生した 検証側の時計と時刻同期
小さな応答は正常だが、大きな DNSSEC 応答が失敗した EDNS、UDP 断片化、および TCP フォールバックパス
特定の再帰器のみが失敗した アンカー、キャッシュ、サポートされているアルゴリズム、および具体的なエラー情報
DANE:usage に応じて TLS の信頼ルールを決定する
TLSA の owner には通常、ポートと転送プロトコルが含まれます(例: _443._tcp.example.com.)。RDATA には certificate usage、selector、matching type、および関連データが含まれます。selector は完全な証明書と SubjectPublicKeyInfo を区別し、matching type は原文一致とダイジェスト一致を区別します。RFC 6698:TLSA
usage 名称 概要
0 PKIX-TA PKIX チェーン検証の基礎の上に CA を制約する
1 PKIX-EE PKIX 検証の基礎の上に終端証明書(エンドエンティティ)を制約する
2 DANE-TA DNSSEC 認証された関連情報を使用して対応する信頼アンカーを構築する
3 DANE-EE DNSSEC 認証された関連情報を使用して終端証明書/公開鍵を制約する
したがって、DANE は一律に「PKIX チェックが不要になる」と等価ではありません。アプリケーションは、サービス名を正しくバインドし、Secure な TLSA を取得し、TLS による対応する秘密鍵の所持証明およびこの usage のルールを完了させる必要があります。単なるハッシュ一致では不十分であり、usage=3 でも要件の優先順位に基づいて「最大限のセキュリティ」として離れて扱うことはできません。
DANE には SMTP 用のアプリケーション仕様があり、一般的なブラウザのサポートが限られているからといって、採用率がゼロであると主張することはできません。SMTP において MX の発見方法、TLSA の可用性の判断、および失敗時の処理は、メールシーケンスの仕様によって補完されます。RFC 7672:SMTP DANE
ローカル再計算:DS ダイジェストの入力と時間の制約
import hashlib
import struct
def owner_wire ( name ) :
return b ' ' . join ( bytes ( [ len ( x ) ] ) + x . encode ( ' ascii' )
for x in name . rstrip ( ' .' ) . lower ( ) . split ( ' .' ) ) + bytes ( 1 )
public_bytes = bytes ( range ( 32 ) )
rdata = struct . pack ( ' !HBB' , 257 , 3 , 15 ) + public_bytes
owner = owner_wire ( ' Example.COM.' )
digest = hashlib . sha256 ( owner + rdata ) . digest ( )
assert len ( digest ) == 32
assert digest == hashlib . sha256 ( owner_wire ( ' example.com.' ) + rdata ) . digest ( )
assert digest != hashlib . sha256 ( public_bytes ) . digest ( )
assert digest != hashlib . sha256 ( owner_wire ( ' other.example.' ) + rdata ) . digest ( )
changed_flags = struct . pack ( ' !HBB' , 256 , 3 , 15 ) + public_bytes
assert digest != hashlib . sha256 ( owner + changed_flags ) . digest ( )
assert 257 & 0x 100 and 257 & 1
assert 256 & 0x 100 and not 256 & 1
now ,inception ,expiration = 2000 ,1000 ,2900
def signature_time_valid ( at ) :
return inception <= at <= expiration
assert signature_time_valid ( now )
assert signature_time_valid ( expiration )
assert not signature_time_valid ( expiration + 1 )
assert min ( 3600 , 3600 , 3600 , expiration - now ) == 900
assert min ( 3600 , 3600 , 3600 , expiration - expiration ) == 0
assert not signature_time_valid ( 3000 )
print ( ' DS 入力には owner/flags、公開鍵のエンコーディングの違い、フラグ、および有効期間の制約チェックが含まれている' )
この例は、エンコーディングの依存関係と時間の予算のみを検証し、RRSIG の暗号学的な署名検証や実際の信頼チェーンの構築は行いません。DNSKEY/DS の公開、本番鍵のローテーション、またはリゾルバポリシーの変更は行っていません。
継続的な参照