安全协议的时限责任分析

您当前的位置：

首页 >

文章列表页 >

安全协议的时限责任分析

论文 | 更新时间：2025-07-16

- 安全协议的时限责任分析
- Analyzing the Temporal Accountability of Secure Protocols
- 电子学报 2002年30卷第10期页码：1450-1454
- 作者机构：
  
  上海交通大学计算机科学与工程系,上海,200030
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.69973032)
- DOI：
  中图分类号： TP309
- 纸质出版：2002
- 稿件说明：
移动端阅览
梁坚, 敖青云, 尤晋元. 安全协议的时限责任分析[J]. 电子学报, 2002,30(10):1450-1454.

LIANG Jian, AO Qing-yun, YOU Jin-yuan. Analyzing the Temporal Accountability of Secure Protocols[J]. Acta Electronica Sinica, 2002, 30(10): 1450-1454.
梁坚, 敖青云, 尤晋元. 安全协议的时限责任分析[J]. 电子学报, 2002,30(10):1450-1454. DOI：

LIANG Jian, AO Qing-yun, YOU Jin-yuan. Analyzing the Temporal Accountability of Secure Protocols[J]. Acta Electronica Sinica, 2002, 30(10): 1450-1454. DOI：

本文针对安全协议中的时限责任问题

提出结合责任性与新鲜性来分析时间标记.这种思路体现在我们新的时限逻辑框架中

比较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.

浏览量

783

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于SmartVerif的比特币底层协议算力盗取漏洞发现

Dining Cryptographer安全协议及工程分析

多方不可否认协议时限性分析与改进

一个非否认协议ZG的形式化分析

电子商务协议的公平性