| 网上购物流程的CCS描述 |
| |
| 引用本文： | 冯源,袭宗燕.网上购物流程的CCS描述[J].太原师范学院学报(自然科学版),2010,9(3). |
| |
| 作者姓名： | 冯源 袭宗燕 |
| |
| 作者单位： | 1. 太原师范学院,数学系,山西,太原,030012
2. 北京大学,数学学院信息系,北京,100871 |
| |
| 摘 要： | 随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃地发展,网络购物已成为一种重要的购物方式.随之,网络购物的安全性问题也受到人们的广泛关注.文章用CCS对目前国内并存的几种网上购物系统模式进行了形式化的描述,并就基本安全性质进行了验证,分析了这几种模式的优缺点.
|
| 关 键 词： | 网上购物流程 形式化 |
The Formal Specification of Internet Shopping Process Using CCS |
| |
| Feng Yuan,Qiu Zongyan.The Formal Specification of Internet Shopping Process Using CCS[J].Journal of Taiyuan Normal University:Natural Science Edition,2010,9(3). |
| |
| Authors: | Feng Yuan Qiu Zongyan |
| |
| Abstract: | |
| |
| Keywords: | CCS |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
