| 题名: | 一种电子商务协议形式化分析方法 |
| 作者: | 王常青
; 邓昌智
; 马翠霞
; 华庆一
; 戴国忠
|
| 关键词: | 形式化分析,电子商务协议,可追究性,公平性,可信第三方Cryptography
; Formal languages
; Network protocols
; Security of data
; Theorem proving
|
| 刊名: | 软件学报
|
| 发表日期: | 2005
|
| 卷: | 16, 期:10, 页:1757-1765 | | 收录类别: | cnki
; ei
|
| 部门归属: | 中国科学院软件研究所信息安全技术工程研究中心 北京100080北京中科安胜信息技术有限公司,北京100080
|
| 摘要: | 提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集合,避免了因非形式化的初始假设而产生的分析错误;(3)对可信假设作细粒度的形式化规范,揭示协议的内涵;(4)建立公理系统,使新方法更为严格与合理. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/12400
|
| Appears in Collections: | 软件所图书馆_期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 1757.pdf（150KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
王常青,邓昌智,马翠霞,等. 一种电子商务协议形式化分析方法[J]. 软件学报,2005-01-01,16(10):1757-1765.
|
|
|
