| 一种电子商务协议形式化分析方法 |
| 王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠
|
| 2005
|
| 发表期刊 | 软件学报
 |
| ISSN | 10009825
|
| 卷号 | 16期号:10页码:1757-1765 |
| 摘要 | 提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集合,避免了因非形式化的初始假设而产生的分析错误;(3)对可信假设作细粒度的形式化规范,揭示协议的内涵;(4)建立公理系统,使新方法更为严格与合理. |
| 收录类别 | cnki
; ei
|
| 关键词 | 形式化分析,电子商务协议,可追究性,公平性,可信第三方cryptography
Formal Languages
Network Protocols
Security Of Data
Theorem Proving
|
| 部门归属 | 中国科学院软件研究所信息安全技术工程研究中心 北京100080北京中科安胜信息技术有限公司,北京100080
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/12400
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
王常青,邓昌智,马翠霞,等. 一种电子商务协议形式化分析方法[J]. 软件学报,2005,16(10):1757-1765.
|
| APA |
王常青,邓昌智,马翠霞,华庆一,&戴国忠.(2005).一种电子商务协议形式化分析方法.软件学报,16(10),1757-1765.
|
| MLA |
王常青,et al."一种电子商务协议形式化分析方法".软件学报 16.10(2005):1757-1765.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论