该论文研究的是资源解聚（resource disaggregation）架构下的访问控制问题。在这种架构中，内存、加速器等资源被从计算节点上物理分离，并通过网络被远程访问，从而提升资源利用率与共享效率；但代价是本地内核被移出资源访问路径，资源在不受信任的主机环境下被调用。若主机软件被攻陷，攻击者可能使用过期的授权（stale authority）、越权使用超出委派范围的权限，或复用本属于其他进程的权限。作者首先对二十二个既有能力（capability）系统做了系统化梳理，结论是没有任何一个系统能同时满足三点：与主机无关的进程权限校验、在资源侧执行权威性强制（authoritative enforcement）、以及在被撤销时即使远端授权状态尚未更新也能保持有效。针对这一空白，论文提出 SADRA——面向资源解聚架构的分布式能力访问控制系统。其核心设计是：将 SmartNIC 硬件与主机软件隔离，由该硬件在两点独立校验每一次跨节点请求，先是在计算节点侧针对发起进程的权限校验，再在资源侧针对当前权威访问状态校验；通过把进程能力、计算能力与资源能力相互链接，使这些校验只需使用本地状态即可完成，访问路径上无需跨节点协调。当分布式权限被撤销时，SADRA 在资源侧直接拒绝后续所有依赖该权限的访问，而无需等待远端节点同步更新；过期的能力状态则另行异步回收，因此访问拒绝不依赖回收完成。作者针对形式化架构模型证明了能力安全性、权限安全性、撤销可靠性与强隔离性，并用 SPIN 模型检验器验证了该形式化。原型基于 FPGA SmartNIC，实测聚合吞吐 89.5 Gbit/s，与非强制模式的基线（峰值 90–91 Gbit/s）处于运行间波动范围内，性能损耗极小；128 个能力子树的清理耗时 528 ns。