%0 Journal Article
%T 安全协议的时限责任分析
%A 梁坚
%A 敖青云
%A 尤晋元
%J 电子学报
%P 1450-1454
%D 2002
%X 本文针对安全协议中的时限责任问题,提出结合责任性与新鲜性来分析时间标记.这种思路体现在我们新的时限逻辑框架中,比较Kudo[8]的方法,新的逻辑体系因为有对消息完整性的判断,能更有效地防止消息的篡改与重发攻击,且更加简洁和实用.
%K 时限责任
%K 形式化分析
%K Kudo逻辑
%U http://www.ejournal.org.cn/CN/abstract/abstract4275.shtml