Extended-CSP based analysis of non-repudiation protocols

HAN Zhi-geng; LUO Jun-zhou; WANG Liang-min

您当前的位置：

首页 >

文章列表页 >

Extended-CSP based analysis of non-repudiation protocols

更新时间：2024-10-14

- Extended-CSP based analysis of non-repudiation protocols
- Issue 10, Pages: 8-18(2008)
- 作者机构：
  
  东南大学计算机科学与工程学院
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.08
- Published：2008
- 稿件说明：
移动端阅览
HAN Zhi-geng, LUO Jun-zhou, WANG Liang-min. Extended-CSP based analysis of non-repudiation protocols[J]. 2008, (10): 8-18.
DOI：

HAN Zhi-geng, LUO Jun-zhou, WANG Liang-min. Extended-CSP based analysis of non-repudiation protocols[J]. 2008, (10): 8-18. DOI：

摘要

提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法。检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性。结果表明该方法不仅能分析一些其他方法无法描述的协议性质

而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性。最后从语义和理论依赖2个角度讨论了方法正确性

并给出与其他方法相比所具备的优势。

Abstract

A new formal method named extended-CSP approach was proposed for non-repudiation protocols.For check-ing its validity

both the well-known Zhou-Gollmann fair non-repudiation protocol presented by Zhou et al.in 1996 and one of its variant protocol were analyzed with this method.The result showed that this method not only could be used to analyze some security properties that could not be described by other methods

but also detected a known flaw of the protocol which could not be found by others

and meanwhile proved the variant protocol really enhancing its security.Finally

the correctness of this method was surveyed from the points of both its semantic and theory dependency

and some advantages in comparison with others were also showed together.

关键词

Keywords

references

Views

701

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Modeling and analysis of multi-party non-repudiation protocols with extended-CSP approach

Role-based abstract modeling of blockchain auction contracts and verification of temporal security and fairness

Edge computing offloading policies and resource allocation considering system fairness in trusted environments

User-centric energy efficiency fairness in backscatter-assisted wireless powered communication network

Multipath congestion control algorithm based on link capacity

Related Author

Jun-zhou LUO

Geng CHEN

Zhi-geng HAN

LU Jiaxing

CHENG Zhuo

ZUO Zhengkang

ZHANG Qufa

OUYANG Junyuan

Related Institution

School of Information Science,Nanjing Audit University

School of Compute Science and Engineer,Southeast University

National-level International Science and Technology Cooperation Base of Networked Supporting Software, Jiangxi Normal University

School of Software, East China University of Technology

School of Computer and Information Engineering, Jiangxi Normal University

AI问答

⁰