Automated Formal Analysis of Signal's Double Ratchet: Attacks, Fixes and Security Proofs.
本研究对 Signal 协议的核心组件——双棘轮（Double Ratchet）机制进行了自动形式化安全分析。双棘轮负责在消息丢失、重排序或临时密钥泄露等复杂条件下提供前向安全和后向安全。研究者使用 ProVerif 工具（一种自动密码协议
#messaging security
共收录 1 条相关情报。
← 返回所有主题