Formal Analysis of a Non-Repudiation Protocol ZG

FAN Hong; FENG Deng-guo

您当前的位置：

首页 >

文章列表页 >

Formal Analysis of a Non-Repudiation Protocol ZG

更新时间：2025-07-16

- Formal Analysis of a Non-Repudiation Protocol ZG
- Acta Electronica Sinica Vol. 33, Issue 1, Pages: 171-173(2005)
- 作者机构：
  
  中科院研究生院信息安全国家重点实验室,北京,100039
- 作者简介：
- 基金信息：
- DOI：
  CLC： TN91
- Published：2005
- 稿件说明：
移动端阅览
FAN Hong, FENG Deng-guo. Formal Analysis of a Non-Repudiation Protocol ZG[J]. Acta Electronica Sinica, 2005, 33(1): 171-173.
DOI：

FAN Hong, FENG Deng-guo. Formal Analysis of a Non-Repudiation Protocol ZG[J]. Acta Electronica Sinica, 2005, 33(1): 171-173. DOI：

摘要

非否认性是电子商务协议的一个重要性质

其形式化分析问题引起了人们的密切关注.本文运用SVO逻辑对一个非否认协议实例进行了有效的形式化分析

并对协议的缺陷进行了改进.

Abstract

Non-repudiation is a key property of electronic commerce protocols

and its formal analysis has draw people's attention.This paper analyzes a non-repudiation protocol using formal methods

and modifies some flaws of the protocol.

关键词

Keywords

references

Views

1105

下载量

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

Analyzing the Temporal Accountability of Secure Protocols

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

⁰