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

【Abstract】 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.更多还原