网上购物流程的CCS描述

分享到

【作者】冯源，袭宗燕
【刊名】太原师范学院学报(自然科学版)
【作者单位】太原师范学院数学系；北京大学数学学院信息系
【年份】2010
【卷号】第3期
【ISSN】1672-2027
【关键词】网上购物流程 CCS 形式化
【摘要】随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃地发展,网络购物已成为一种重要的购物方式.随之,网络购物的安全性问题也受到人们的广泛关注.文章用CCS对目前国内并存的几种网上购物系统模式进行了形式化的描述,并就基本安全性质进行了验证,分析了这几种模式的优缺点.
【文献类型】期刊