面向eIDAS信任框架的IoT设备两层可验证凭证（Verifiable Credentials）架构：X.509技术认证与上下文感知操作凭证的分离与绑定

《Future Internet》：Verifiable Credentials for IoT Devices in the Context of the eIDAS Trust Framework

　　

物联网（Internet of Things, IoT）系统在机器对机器（Machine-to-Machine, M2M）场景中的日益普及，要求认证机制能够支持跨组织边界的信任与问责。标准的基于X.509的mTLS（mutual TLS）机制提供了强技术设备认证，而诸如责任法律实体、设备角色、授权范围与部署上下文等运行信息，可以独立于技术身份而演变。本文提出一种两层架构，将相对稳定的X.509技术凭证与绑定至已认证设备身份的动态操作可验证凭证（Verifiable Credential, VC）分离。基础凭证表示设备-实体关联，而上下文感知凭证增加了版本化域配置（domain profile）、操作角色、允许操作集与部署上下文。研究人员定义了基于证据的签发、生命周期、运行时验证与独立状态机制，并将信任模型关联至eIDAS中基于证书的信任和属性电子证明（Electronic Attestations of Attributes, EAA）概念。研究人员通过实验评估了所提出的上下文感知模型的验证方侧处理成本，以及凭证呈现与技术及操作状态检查。结果表明，包括请求到操作映射在内的上下文感知验证平均每请求约需226微秒，其中密码签名验证占主要处理成本。

研究背景方面，IoT系统在工业与信息物理环境中的采用不断增加，设备、服务与平台无需直接人工干预即可持续交互。在智能制造、能源管理、物流与预测性维护等领域，M2M通信已成为主导交互模型。认证是确保仅合法设备可交换数据、发起请求或访问外部服务的基础要求。当前IoT认证机制通常依赖TLS与X.509公钥证书，包括用于客户端证书认证的mTLS（mutual TLS）。在mTLS部署中，这些机制提供强端点认证与密码密钥占有证明。X.509证书也可通过标准或应用特定扩展携带组织信息与附加属性，而ACME等协议可自动化证书登记、续期、撤销以及认证机构签发证书所针对标识符的验证。在eIDAS框架中，合格网站认证证书（Qualified Website Authentication Certificate, QWAC）提供了受监管示例，其中基于X.509的网站认证包含经核验的自然人或法人信息。本文所处理的问题并非基于证书机制的表示能力限制，而是多利益相关方IoT部署中的架构问题。设备可在制造商、供应商或企业PKI下保持相对稳定的技术身份，但其责任组织、分配资产、操作角色与允许的M2M操作会在部署期间变化。将所有这些属性编码在同一技术证书中意味着操作变化可能要求更新或重新签发X.509凭证。将授权属性与公钥证书分离的一般原则已经确立，例如X.509属性证书允许授权信息独立于公钥证书签发与管理。研究人员采用该分离原则，但使用可验证凭证作为操作层，提供适合动态IoT分配、角色、授权范围与上下文的可扩展应用层表示。此外，可验证凭证生态可支持隐私保护呈现机制，包括选择性披露以及在合适密码证明方案下的伪名或不可链接呈现。当操作凭证包含组织关系、设备角色、授权操作或部署上下文等敏感信息时，这些能力尤其相关，因为验证方可能仅需获知特定交互所需的属性子集。eIDAS 2.0提供了信任与治理框架，使该架构定义的操作属性可获得更强且可互操作的保证基础，特别是EAA与合格电子属性证明（Qualified Electronic Attestations of Attributes, QEAA）为自然人、法人与对象相关属性认证提供了框架。

研究人员开展的研究是提出两层凭证架构，在同一交互中共同使用技术凭证与操作凭证。技术凭证通过mTLS认证设备/密钥，绑定的操作VC表示当前操作关系。基础凭证将已认证设备与其责任法律实体关联，而上下文感知凭证增加版本化域配置引用、操作角色、允许操作集与部署上下文约束。域配置赋予这些属性共享含义，并将具体网络请求映射为验证方评估的协议无关操作标识符。该分离允许操作分配变化而无需技术证书承载相同生命周期。eIDAS 2.0提供信任与治理框架，EAA与QEAA为属性认证提供框架，本文第5节展示所提凭证与域配置模型如何在该框架内实例化。与初步框架相比，主要贡献包括：完整形式化两层凭证架构，明确分离技术设备认证与操作授权，包括参与者、信任关系、生命周期阶段、绑定、更新与撤销语义；两种操作凭证模型，分别表示设备-实体关系及其上下文感知扩展；版本化域配置与映射，用于共享操作语义与协议无关请求解释；基于证据的签发过程，用于验证设备控制、责任实体关联与操作属性；面向eIDAS的信任模型，将架构关联至QWAC、EAA与QEAA概念，覆盖欧盟与非欧盟信任域；对验证延迟、凭证呈现开销以及技术与操作状态处理的实验评估。结论表明，上下文感知验证包括请求到操作映射平均每请求约226微秒，密码签名验证占主导处理成本。其重要意义在于，该架构提供结构化方式，将稳定技术设备认证与动态可验证操作关系结合，通过分离签发者、语义与生命周期并在同一M2M交互中绑定，支持可问责跨组织授权，而无需将操作属性嵌入技术证书。

关键技术方法方面，原型采用Python 3.10.12，使用cryptography库3.4.8，在WSL2下运行于Linux x86-64。凭证表示为JSON对象，序列化为紧凑JWS对象，并使用Ed25519（EdDSA）签名。合成库存含25个设备、5个组织与50个资产，确定性主种子为20260611。S₁–S₄每场景执行100次重复、每次1000个测量请求，即每场景100000请求，总计400000次验证。每次重复在新Python进程中运行并初始化新的签发者密钥、凭证库存、验证方状态与操作凭证状态缓存。每场景执行前处理100个预热请求并排除。S₁–S₄使用完全相同工作负载与库存，场景顺序随机化，100次重复覆盖全部24种可能顺序。统计采用请求级均值、中位数、最近秩95^th百分位与样本标准差，重复级均值的95%置信区间通过10000次百分位bootstrap获得，场景比较使用同一次重复的配对差异。凭证呈现测量序列化凭证大小、呈现载荷大小、准备延迟与峰值额外Python分配。状态处理分别测量操作VC路径与技术X.509证书路径，并区分缓存状态查找与刷新状态对象。

研究结果如下。6.1 实验设置：通过Python原型、合成设备库存与S₁–S₄重复基准，研究人员得出可重复的大规模验证配置。6.2 比较场景：S₁使用基础凭证，S₂–S₄使用同一上下文感知凭证且仅验证方处理不同；S₁验证签名、签发者、时间有效性、绑定与责任实体关联，S₂额外评估域配置、设备角色、授权范围与上下文范围，S₃从网络请求应用域配置映射派生操作标识符并解释上下文值，S₄增加通过已验证Bitstring Status List的操作凭证状态检查。由此得出各场景逐步覆盖架构验证函数。6.3 工作负载生成：通过合成生成网络请求，工作负载含55%有效请求与45%负面案例，负面案例包括未授权操作10%、错误资产10%、绑定不匹配8%、过期凭证7%、尚未有效凭证5%与已撤销凭证5%；S₁接受80000请求，S₂与S₃各接受60000，S₄接受55000。由此得出场景逐步增加检查导致不同接受率。6.4 评估指标：验证方延迟从接收场景输入到最终验证决定，组件级仪器覆盖凭证解码、签名验证、签发者/有效性检查、绑定验证、责任实体关联、请求到操作映射、角色/范围/上下文评估与操作VC状态查找；呈现与状态处理采用独立指标。由此得出度量覆盖完整验证管道。6.5 验证延迟：每场景100000请求下，均值从S₁的216.062 μs增至S₄的229.443 μs，中位数范围为183.643至193.471 μs，重复级均值置信区间较窄。由此得出延迟逐步增加且估计稳定。6.6 配对场景比较：相邻场景差异为S₂–S₁ 4.250 μs、S₃–S₂ 5.415 μs、S₄–S₃ 3.717 μs，完整S₄–S₁路径平均相差13.381 μs；S₃–S₂的95%bootstrap区间为[2.119, 8.657] μs，S₄–S₃区间包括零。由此得出附加验证功能对完整请求处理路径的贡献。6.7 组件级成本：签名验证平均在S₁–S₄分别为184.776、185.407、185.976与186.220 μs，凭证解码平均为23.254至26.618 μs；请求到操作映射在S₃平均4.099 μs、S₄平均4.311 μs，中位数分别为2.966与3.031 μs；角色/范围/上下文评估平均低于1 μs，S₄操作VC状态组件平均2.352 μs。由此得出密码操作主导验证管道，额外上下文感知处理较小。6.8 凭证大小与呈现开销：上下文感知凭证增加domainProfile、deviceRole、authorizationScope与contextScope等字段；序列化基础凭证占970字节，上下文感知凭证占1223字节，增加253字节即26.08%；呈现载荷分别为987与1240字节；准备延迟保持个位数微秒，峰值额外Python分配从2678增至3184字节。由此得出表示开销适中。6.9 状态检查开销：操作路径使用签名W3C Bitstring Status List v1.0，技术路径使用独立合成认证机构签发的X.509证书撤销列表（Certificate Revocation List, CRL）；缓存VC状态检查平均1.196 μs，缓存技术证书状态检查平均0.542 μs；刷新并处理签名状态对象时，Bitstring Status List需2.764 ms，CRL需2.712 ms，获取在两者中均占主导。由此得出已处理状态信息可在微秒级评估，刷新验证增加毫秒级成本，并确认操作凭证撤销与技术证书撤销分离。6.10 结果讨论：验证方侧密码签名验证仍为主导运行组件，上下文感知模型新增处理相对较小；请求到操作映射平均约4.1 μs，角色、授权范围、上下文与操作状态检查保持在微秒级；凭证大小增加适中，呈现准备保持个位数微秒；状态处理区分已可用状态与刷新签名状态对象，缓存检查微秒级，刷新毫秒级。由此得出上下文感知扩展主要影响凭证携带的操作信息量，附加验证步骤成本相对签名验证较小，同时保持技术与操作层独立状态管理。

安全、隐私与撤销方面，7.1 凭证误用与绑定：绑定防止从一设备复制的操作凭证被用于不同技术身份，验证方仅在绑定匹配mTLS会话中认证身份时接受凭证，因此仅拥有凭证不足以冒充设备，除非控制相应技术密钥；若技术私钥泄露，绑定本身不能防止误用，架构依赖技术PKI及时撤销技术凭证。7.2 信任与语义完整性：有效签名认证签发者并保护凭证完整性，但操作属性正确性取决于签发时接受的证据；受损签发者或权威源可产生密码有效但错误的分配；域配置完整性也至关重要，未授权修改配置可改变有效凭证语义，验证方必须使用凭证引用的配置版本并仅接受来自可信域配置权威的版本；最小权限签发仍重要，凭证有效性应作为验证方授权决策输入而非授权本身。7.3 隐私：上下文感知凭证可揭示责任法律实体、设备角色、允许操作、部署域与资产关系，签发者应限制凭证至预期验证上下文所需属性，验证方应按策略与审计要求保留；原型使用完整凭证呈现，但相同操作语义可与选择性披露或伪名标识符结合。7.4 撤销与状态新鲜度：技术证书与操作凭证遵循独立撤销路径，验证方必须确保两个状态源足够新鲜，过时状态信息可使已撤销技术身份或操作分配暂时可接受；参考实现使用W3C Bitstring Status List v1.0用于操作凭证，CRL用于技术X.509证书；缓存状态降低验证延迟，刷新状态缩小陈旧信息可用间隔，实验量化了两条独立状态路径的处理成本。

讨论部分总结：实验结果从验证方处理、凭证表示与呈现、凭证状态处理三个维度刻画架构。验证方侧密码签名验证仍是主导运行组件，上下文感知模型新增处理相对较小，请求到操作映射约4.1 μs，角色、授权范围、上下文与操作状态检查保持微秒级；更丰富操作表示使凭证大小增加253字节即26.08%，呈现准备保持个位数微秒；状态处理中缓存检查微秒级，刷新并验证签名状态对象毫秒级，获取占主要时间。结果说明上下文感知扩展主要影响凭证携带的操作信息量，新增验证步骤成本相对签名验证较小，同时保持技术与操作层独立状态管理。

研究结论翻译：本文扩展初步分层IoT身份模型为用于跨组织M2M交互的两层操作凭证架构。该架构将技术X.509凭证与操作凭证分离，同时在运行时绑定两者。基础凭证表示设备与其责任法律实体之间的当前关系，而上下文感知凭证增加版本化域配置、操作角色、协议无关允许操作与部署上下文约束。这种分离允许操作分配演变而无需技术凭证具有相同生命周期。所提模型还明确操作语义与信任假设。域配置定义共享角色、操作与上下文语义，并将网络请求映射为协议无关操作。基于证据的签发将属性含义与签发者用于证明具体分配的证据分离。技术证书状态与操作凭证状态遵循独立路径，在原型中分别通过X.509 CRL与W3C Bitstring Status List v1.0实例化。eIDAS分析表明，所提操作凭证可在电子证明框架内实例化，其中eIDAS为签发者与认证属性提供信任、保证与治理要求，而所提架构提供IoT特定凭证语义与运行时验证逻辑。实验评估确认签名验证仍是验证方主导成本。直接测量的请求到操作映射平均每请求约4.1 μs，额外角色、范围、上下文与操作状态检查保持在微秒级。对于代表性凭证对，序列化上下文感知凭证为1223字节，基础凭证为970字节，增加26.08%。状态实验进一步区分操作VC与技术X.509证书的缓存评估与刷新处理，刷新处理保持在毫秒级。未来工作可将当前单活动凭证假设扩展至同时参与多个操作域或分配的设备。此类扩展需要明确凭证选择规则以及跨并发凭证的授权与撤销分析。进一步工作还可在更大跨域部署以及不同状态分发与缓存策略下评估该架构。总体而言，所提架构提供结构化方式，将稳定技术设备认证与动态可验证操作关系结合。通过分离其签发者、语义与生命周期，同时在同一次M2M交互中绑定它们，该模型支持可问责跨组织授权，而无需将操作属性嵌入技术证书。