电子商务协议的串空间分析

计算机科学 ›› 2008, Vol. 35 ›› Issue (2): 109-114.

电子商务协议的串空间分析

出版日期:2018-11-16 发布日期:2018-11-16
基金资助:
国家自然科学基金项目（No 60673071）;浙江省自然科学基金项目（Y106802）;浙江省教育厅科技计划项目（20060239）.

Online:2018-11-16 Published:2018-11-16

摘要/Abstract

摘要： 电子商务协议常常具有复杂结构，协议可能由多个子协议组合而成。因此，电子商务协议的安全分析较认证协议更为复杂。传统的信念逻辑不适宜分析电子商务协议。Kailar逻辑适宜分析电子商务协议的可追究性，但不适宜分析协议的公平性。本文介绍并扩展了串空间逻辑，分析了ISI支付协议的串，并证明其不满足公平性。还提出一种新的串节点路径法，用以分析了ASW协议，该协议系由多个子协议组成的分支结构协议，通过串空间分析证明了该协议的公平性。通过对两个协议的分析，分别提供了对电子商务在线交易协议和离线交易协议的形式化分析方法。

关键词: 串空间电子商务协议公平性串节点路径

Abstract: The electronic commerce protocols often have more complex structures than authentication protocols, and a protocol might be composite of multiple sub-protocols, so the security analysis of electronic commerce protocols is more complex than the analysis of

Key words: Strand space, Electronic commerce protocol, Fairness, Strand node path

. 电子商务协议的串空间分析[J]. 计算机科学, 2008, 35(2): 109-114. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed