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

您当前的位置：

首页 >

文章列表页 >

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

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

- 一个非否认协议ZG的形式化分析
- Formal Analysis of a Non-Repudiation Protocol ZG
- 电子学报 2005年33卷第1期页码：171-173
- 作者机构：
  
  中科院研究生院信息安全国家重点实验室,北京,100039
- 作者简介：
- 基金信息：
  
  973资助项目 (No.G1999035802);国家杰出青年科学基金 (No.60025205)
- DOI：
  中图分类号： TN91
- 纸质出版：2005
- 稿件说明：
移动端阅览
范红, 冯登国. 一个非否认协议ZG的形式化分析[J]. 电子学报, 2005,33(1):171-173.

FAN Hong, FENG Deng-guo. Formal Analysis of a Non-Repudiation Protocol ZG[J]. Acta Electronica Sinica, 2005, 33(1): 171-173.
范红, 冯登国. 一个非否认协议ZG的形式化分析[J]. 电子学报, 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逻辑对一个非否认协议实例进行了有效的形式化分析

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

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.

浏览量

1105

下载量

CSCD

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

提交

工具集

关联资源

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

Dining Cryptographer安全协议及工程分析

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

安全协议的时限责任分析

电子商务协议的公平性