| 带第三方支付平台的网上购物系统的CCS描述 |
| |
| 引用本文： | 冯源. 带第三方支付平台的网上购物系统的CCS描述[J]. 太原师范学院学报(自然科学版), 2011, 10(2): 94-97 |
| |
| 作者姓名： | 冯源 |
| |
| 作者单位： | 太原师范学院数学系,山西太原,030012 |
| |
| 摘 要： | 随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃发展,在电子商务协议中,受信任的第三方担负着越来越重要的角色.当然,在电子商务中安全性问题也受到人们的广泛关注.文章用CCS对带第三方支付平台的电子交易系统进行了描述,并用模型检测的方法对安全性进行了阐述和验证.
|
| 关 键 词： | 可信任第三方 CCS 安全性 网上购物系统 |
Formal Verify the Security of Electronic Business System with TTP |
| |
| Feng Yuan. Formal Verify the Security of Electronic Business System with TTP[J]. Journal of Taiyuan Normal University:Natural Science Edition, 2011, 10(2): 94-97 |
| |
| Authors: | Feng Yuan |
| |
| Affiliation: | Feng Yuan(Department of Mathematics,Taiyuan Normal University,Taiyuan 030012,China) |
| |
| Abstract: | With the development of Internet technology and the extension of its application areas,electronic commerce is becoming flourishing.In electronic commerce protocol,the trusted third party takes on very important party slowly.Here we use CCS to give the for |
| |
| Keywords: | trusted third party CCS security online shopping system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
