Institutional Repository
| 一种电子商务协议形式化分析方法 | |
| 王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠 | |
| 2005 | |
| Source | 软件学报
 |
| ISSN | 10009825 |
| Volume | 16Issue:10Pages:1757-1765 |
| English Abstract | 提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集合,避免了因非形式化的初始假设而产生的分析错误;(3)对可信假设作细粒度的形式化规范,揭示协议的内涵;(4)建立公理系统,使新方法更为严格与合理. |
| Indexed Type | cnki ; ei |
| Keyword | 形式化分析,电子商务协议,可追究性,公平性,可信第三方cryptography Formal Languages Network Protocols Security Of Data Theorem Proving |
| Department | 中国科学院软件研究所信息安全技术工程研究中心 北京100080北京中科安胜信息技术有限公司,北京100080 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/12400 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 王常青,邓昌智,马翠霞,等. 一种电子商务协议形式化分析方法[J]. 软件学报,2005,16(10):1757-1765. |
| APA | 王常青,邓昌智,马翠霞,华庆一,&戴国忠.(2005).一种电子商务协议形式化分析方法.软件学报,16(10),1757-1765. |
| MLA | 王常青,et al."一种电子商务协议形式化分析方法".软件学报 16.10(2005):1757-1765. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 1757.pdf（150KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment