Summary
- Azat Davliatshin于11月2日发布独立报告,按两份个人互联网草案的文字编写验证器,并对AAT -01与Asor -02的授权链建模。
- AAT -01要求父令牌所指向的持有人密钥签署子令牌。报告对Asor -02的读法是:验证器配置中接受的密钥即可签署下一环,父令牌持有人无需参与。
- 报告的模型显示,若攻击者掌握一把被接受的签名密钥,便可在诚实令牌下接出子令牌;末端的DPoP只能证明提交者握有末端密钥。这是模型里的密钥失陷情境,没有生产事故证据。
权限越收越窄,签名权却可能越分越散
先看两份草案的共同部分。根令牌授予权限;后续令牌以哈希链接父令牌,缩小可用能力,受层数和有效期限制。最终提交请求的一方还要证明持有末端密钥。这些安排能回答“末端能做什么”,却不能自动回答“谁让末端加入”。
Niki Aimable Niyikiza的AAT -01把第二个答案交给父令牌持有人。其I1规则要求子令牌由父令牌中指定的密钥签名。Davliatshin据Asor -02文字实作的验证步骤则接受验证器本地配置中的签名密钥。父令牌中即使写了持有人,创建下一环也不必由那名持有人签字。
报告让这处差异承受一次有条件的压力测试:假定攻击者控制一把验证器认可的密钥,却没有诚实父令牌持有人的密钥。在Asor模型中,攻击者仍可签出下一环,并在新末端写入自己的密钥,再用DPoP证明自己握着它。DPoP验的是当下提交者,不会倒流到上一位持有人的同意。这不是对实际部署的入侵报道。
作者又把Asor模型改成“必须由父令牌持有人签名”。上述差异随即消失。这项改动是用来定位原因的反事实试验,并非Asor -02已写入的要求。问题也因此非常具体:后续委托权跟着令牌持有人走,还是跟着验证器认可的发行密钥名单走?
Asor -03在10月27日已发布,比这份报告早。它仍要求验证器按本地配置的密钥及算法核查各环签名,再另行核查末端持有证明。报告的正式模型比较针对 -02;对 -03 的判断必须以较新文本为据。下一份能改变判断的材料,是明文指定子令牌签署者的修订及相应的独立测试。
官方原始文件
会员简报
档案背景详情
使用相应会员等级登录,即可解锁完整简报与来源注释。
仅限战略圈层会员
Strategic Circle
所有读者均可浏览。加入并登录后可解锁档案简报。
加入 Strategic Circle仅限 Leadership Alliance
Leadership Alliance
符合条件的 IP 资产所有者和管理层可登录查看 Leadership Alliance 简报。
加入 Leadership Alliance





