spi演算证明协议非可否认性

李援; 蒋建国; 王焕宝

您当前的位置：

首页 >

文章列表页 >

spi演算证明协议非可否认性

技术报告 | 更新时间：2024-10-14

- spi演算证明协议非可否认性
- Formal analysis of non-repudiation protocol by spi
- 通信学报 2009年30卷第5期页码：94-98
- 作者机构：
  
  1. 合肥工业大学计算机与信息学院
  2. 安徽建筑工业学院数理系
- 作者简介：
- 基金信息：
- DOI：
  中图分类号： TP393.04
- 纸质出版：2009
- 稿件说明：
移动端阅览
李援, 蒋建国, 王焕宝. spi演算证明协议非可否认性[J]. 通信学报, 2009,30(5):94-98.

LI Yuan1, JIANG Jian-guo1, WANG Huan-bao2. Formal analysis of non-repudiation protocol by spi[J]. 2009, 30(5): 94-98.
李援, 蒋建国, 王焕宝. 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

浏览量

599

下载量

CSCD

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

提交

工具集

关联资源

基于角色的区块链拍卖合约抽象建模及其时间安全性与公平性验证

信任环境下考虑系统公平性的边缘计算卸载策略和资源分配

反向散射辅助的无线供能通信网络中用户能效公平性研究

基于链路容量的多路径拥塞控制算法

基于网络效用最大化理论的分布式车联网拥塞控制策略