安全协议的时限责任分析

Analyzing the Temporal Accountability of Secure Protocols

本文针对安全协议中的时限责任问题 ,提出结合责任性与新鲜性来分析时间标记 .这种思路体现在我们新的时限逻辑框架中 ,比较Kudo[8] 的方法 ,新的逻辑体系因为有对消息完整性的判断 ,能更有效地防止消息的篡改与重发攻击 ,且更加简洁和实用 .

To analyze the time-critical secure protocols,we propose a new method that combines temporal accountability and timestamp freshness verification.Comparing to Kudo's logic,our method can prevent tempar and replay attacks by adding the integrity verification based on timestamps.In addtion, our method benefits intuition and practicality.