安全协议的时限责任分析

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