该论文提出了一种基于硬件（Trusted Execution Environment, TEE）的可撤销属性基加密（HR-ABE）方案，旨在解决传统可撤销 ABE 中密文委托带来的高计算开销问题。在传统方案中，用户撤销需要通过时间戳机制实现，且为防止被撤销用户解密旧密文，存储服务器必须周期性执行密文委托操作，即对所有密文更新时间戳。当密文数量庞大时，这一过程会带来巨大的计算负担。论文利用商用 TEE 技术，首次系统地研究了硬件支持的可撤销 ABE，以消除不可扩展的密文委托，并同时防止不可信存储服务器与被撤销用户之间的合谋攻击。作者形式化了 HR-ABE 的安全模型，并给出了一种高效构造，该构造还支持外包解密，适用于资源受限的数据用户。此外，方案特别考虑了 TEE 可能面临的安全泄露问题（如侧信道攻击），确保即使 TEE 内部秘密泄露，也不会导致用户数据泄露。安全性证明基于正式的安全模型，并通过实验评估了性能。该研究为云端细粒度访问控制中的用户撤销提供了一种新的硬件辅助解决思路，适合从事密码学、云安全、访问控制研究的学者和工程师阅读。

该论文针对智能交通系统中车辆与基础设施间安全通信的关键需求，聚焦于恶意或异常车辆密码凭证的及时撤销问题。当前标准对撤销处理规定模糊，现有方案在可扩展性和有效性方面存在严重局限。为此，作者提出了一种形式化验证的车辆自撤销机制，该机制利用车辆中的可信处理元素（TPE），但不依赖可信时间源，从而避免了时间同步的脆弱性。方案兼容现有标准化工作，并首次利用Tamarin证明器保证撤销的确定性和可预测的上界，即使在存在现实攻击者（如网络延迟、消息丢失）的情况下也能确保撤销的实效性。作者在虚拟5G-Edge部署场景中模拟了大量车辆通信的真实环境，包括网络故障和延迟，实验结果表明该机制在保持形式化保证的同时，具有低网络开销和良好的可扩展性。该工作对V2X安全基础设施的改进具有重要参考价值。

该论文提出了CTng（Certificate Transparency next generation），一种改进的证书透明度和撤销透明度系统。传统的证书透明度（CT）仅记录证书的签发，但缺乏对证书撤销的透明性，导致撤销延迟或隐藏问题。CTng通过引入日志结构同时记录证书和撤销信息，并使用高效的聚合机制，使得任何实体都能验证证书的当前状态（是否有效或已被撤销）。该系统基于公钥基础设施（PKI）和信任模型，利用哈希树和时间戳来保证数据的完整性和不可否认性。实验表明，CTng在存储和验证开销方面比现有方案（如CRLite）更具优势，同时提供了更强的安全保证，包括抗分叉和即时撤销通知。该研究适用于CA、浏览器厂商和安全研究人员，旨在提升HTTPS生态的安全性和透明度。

本文提出了一种面向区块链物联网数据共享系统的、支持撤销的CP-ABE密钥管理方案。现有混合架构中，许可链存储防篡改元数据，加密负载置于内容寻址存储，但密钥访问控制存在瓶颈：常见方案依赖在线RBAC或智能合约返回密钥，引入可信在线策略执行点并削弱可审计性。本文采用密文密钥发布替代在线密钥分发：账本记录元数据 (CID, CK, PolicyID, epoch)，其中CK是封装AES-GCM密钥的CP-ABE密文。用户从账本获取CK，若属性满足策略则在本地解密。为支持前向撤销和策略演进而不重新加密大文件，引入基于时间/纪元的属性及轻量级CK轮换协议，仅更新小密文密钥和账本条目。基于本地内容寻址存储、哈希链账本和CP-ABE后端实现了最小端到端原型。实验显示：CP-ABE加密占主导延迟（k=6混合布尔策略约186 ms），账本和存储操作约1-2 ms；基于纪元的撤销在动态环境下摊销密钥更新成本；网关辅助模式在模拟客户端4倍减速下将中位解密时间降低4倍以上；账本增长速度与共享资产数量而非读取者数量成比例。