Accountability in Certificate Transparency and Variants
该论文针对证书透明化（Certificate Transparency, CT）这一已被所有主流浏览器支持的 TLS 证书生态机制，重新梳理其安全目标并给出严格的形式化分析。CT 的设计初衷是降低对证书颁发机构（CA）的信任依赖：所有 CA
#formal-analysis
共收录 4 条相关情报。
← 返回所有主题A Formal Analysis of Agent Payment Protocols
该论文针对AI代理支付协议这一新兴的自主商业交易层进行了系统性的形式化安全分析。研究背景在于，AI代理正被授权代表用户购买商品与服务并执行支付，而与传统支付流程不同，此类协议将用户意图、委托授权、凭据使用、结算和履约分散到多个参与方与多个协
Payout Races and Congested Channels: A Formal Analysis of Security in the Lightning Network.
本文对闪电网络（Lightning Network）的安全性进行了形式化分析。闪电网络是一种支付通道网络，市值超过1.92亿美元，旨在通过链下快速交易解决比特币的可扩展性问题。目前存在多个闪电网络客户端实现，它们都遵循相同的文本规范（即BO
The Exact Security of BIP32 Wallets.
本文首次对BIP32（比特币改进提案32）钱包系统进行了完整的形式化安全分析，无需任何修改。BIP32自2012年引入以来，已成为最常用的比特币钱包之一，但此前缺乏对其具体安全属性的严格证明。该研究基于Das等人（CCS '19）的近期工作