Analyzing the Temporal Accountability of Secure Protocols
Jinyuan You · Dianzi xuebao · 2002
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.