Formal analysis of non-repudiation protocol by spi

LI Yuan1; JIANG Jian-guo1; WANG Huan-bao2

您当前的位置：

首页 >

文章列表页 >

Formal analysis of non-repudiation protocol by spi

更新时间：2024-10-14

- Formal analysis of non-repudiation protocol by spi
- Vol. 30, Issue 5, Pages: 94-98(2009)
- 作者机构：
  
  1. 合肥工业大学计算机与信息学院
  2. 安徽建筑工业学院数理系
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393.04
- Published：2009
- 稿件说明：
移动端阅览
LI Yuan1, JIANG Jian-guo1, WANG Huan-bao2. Formal analysis of non-repudiation protocol by spi[J]. 2009, 30(5): 94-98.
DOI：

LI Yuan1, JIANG Jian-guo1, WANG Huan-bao2. Formal analysis of non-repudiation protocol by spi[J]. 2009, 30(5): 94-98. DOI：

摘要

spi演算以进程代数理论作为基础

适合多轮并发条件下安全协议的证明。通过在spi系统中引入消息起源测试成功表示了签名消息的安全语义

并在此基础上验证了ZG协议的非可否认性

扩展了spi演算在安全协议证明中的应用范围。

Abstract

spi calculus

which was based on the theorems of process algebra

was fit for the proof of concurrent protocol execution. Message origination test was put up and the semantics of message sign operation was successfully expressed base on the test

at last

the non-repudiation protocol ZG was proved so as to prove the validity of the method.

关键词

Keywords

references

Views

660

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

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

Distributed congestion control strategy using network utility maximization theory in VANET

Related Author

LU Jiaxing

CHENG Zhuo

ZUO Zhengkang

ZHANG Qufa

OUYANG Junyuan

WANG Changjing

Fukang LI

Shouyi YANG

Related Institution

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

School of Electrical and Information Engineering, Zhengzhou University

Shaanxi Key Laboratory of Information Communication Network and Security,Xi’an University of Posts ＆Telecommunications

AI问答

⁰