Analyzing the Temporal Accountability of Secure Protocols

LIANG Jian; AO Qing-yun; YOU Jin-yuan

您当前的位置：

首页 >

文章列表页 >

Analyzing the Temporal Accountability of Secure Protocols

更新时间：2025-07-16

- Analyzing the Temporal Accountability of Secure Protocols
- Acta Electronica Sinica Vol. 30, Issue 10, Pages: 1450-1454(2002)
- 作者机构：
  
  上海交通大学计算机科学与工程系,上海,200030
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP309
- Published：2002
- 稿件说明：
移动端阅览
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：

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]

的方法

新的逻辑体系因为有对消息完整性的判断

能更有效地防止消息的篡改与重发攻击

且更加简洁和实用.

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.

关键词

Keywords

references

Views

783

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Detection of the Computational Power Stealing Attack in Bitcoin Protocols Based on SmartVerif

Dining Cryptographer Protocol and Its Engineering Analysis

Analysis and Improvement of Timeliness of a Multi-Party Non-Repudiation Protocol

Formal Analysis of a Non-Repudiation Protocol ZG

Fairness in Electronic Commerce Protocols

Related Author

XIONG Yan

HUANG Wen-chao

CHEN Kai-jie

WANG Wan-sen

MENG Zhao-yi

XU Xiao-feng

FANG Xian-jin

BAO Xiang-lin

Related Institution

School of Computer and Information, Anhui Polytechnic University

School of Computer Science and Technology, University of Science and Technology of China

College of Computer Science and Engineering, Anhui University of Science and Technology

Department of Mathematics,Nanjing University

Department of Computer Science,Paderborn University

⁰