A Fair Non-Repudiation Protocol and Its Formal Analysis

LIU Jing; ZHOU Ming-tian

您当前的位置：

首页 >

文章列表页 >

A Fair Non-Repudiation Protocol and Its Formal Analysis

更新时间：2025-07-16

- A Fair Non-Repudiation Protocol and Its Formal Analysis
- Acta Electronica Sinica Vol. 31, Issue 9, Pages: 1422-1425(2003)
- 作者机构：
  
  电子科技大学计算机学院,四川,成都,610054
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP309
- Published：2003
- 稿件说明：
移动端阅览
LIU Jing, ZHOU Ming-tian. A Fair Non-Repudiation Protocol and Its Formal Analysis[J]. Acta Electronica Sinica, 2003, 31(9): 1422-1425.
DOI：

LIU Jing, ZHOU Ming-tian. A Fair Non-Repudiation Protocol and Its Formal Analysis[J]. Acta Electronica Sinica, 2003, 31(9): 1422-1425. DOI：

摘要

不可抵赖作为基本的网络安全服务之一

必须提供不可抵赖证据的产生、收集和维护机制以防止交易的任何一方试图对交易中已发生的特定事件或行为的欺诈性抵赖.另外

公平性也是一个必须考虑的因素

它保证交易的任何一方都不可能因为过早地退出交易或在交易中作弊而取得事实上凌驾于另一方的优势地位.本文针对目前ISO/IEC 13888的不可抵赖机制因为不公平性而存在的严重缺陷:选择性收据问题

提出了一个公平不可抵赖协议FNORP

并通过严格的形式化分析证明了FNORP具有不可抵赖性、公平性和适时中止性.

Abstract

Non-repudiation

as one of the basic network security services

must provide mechanisms in which evidence will be generated

collected and maintained to protect the transacting parties against any false denial in which a particular event or action has taken place.In addition

fairness is a desirable requirement such that neither party can gain an advantage by quitting prematurely or otherwise misbehaving during a transaction.Aiming at solving a serious bug: the selective receipt problem in the current ISO/IEC 13888 non-repudiation mechanism

which is induced by unfairness

this paper presents a Fair non-repudiation protocol FNORP and through a strict formal analysis.We show that FNORP possesses the capabilities of non-repudiation

fairness and timely-termination.

关键词

Keywords

references

Views

847

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Fairness in Trustworthy Federated Learning: A Survey

Fair Computation Offloading for a Multi-Antenna NOMA Aided Mobile Edge Computing Network

Fair Provable Data Possession Scheme Based on Blockchain

Self-Supervised Learning for Alleviating Popularity Bias in Recommender Systems

A Survey of Scheduling Mechanisms for Programmable Data Plane in Data Center

Related Author

CHEN Hao-yu

LI Yi-dong

ZHANG Hong-lei

CHEN Nai-yue

ZENG Sheng

HUANG Xiao-hong

LI Dan-dan

YU Wei-jun

Related Institution

Key Laboratory of Big Data & Artificial Intelligence in Transportation， Ministry of Education

School of Computer and Information Technology，Beijing Jiaotong University

Office of Party and Government Affairs， Torch Hi-tech Industrial Development Zone

School of Computer Science（National Pilot Software Engineering School）， Beijing University of Posts and Telecommunications

Department of Cyber Security and Information Law, Chongqing University of Posts and Telecommunications

⁰