论文部分内容阅读
随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃地发展,网络购物已成为一种重要的购物方式.随之,网络购物的安全性问题也受到人们的广泛关注.文章用CCS对目前国内并存的几种网上购物系统模式进行了形式化的描述,并就基本安全性质进行了验证,分析了这几种模式的优缺点.
网上购物流程的CCS描述
【摘 要】
：
随着互联网技术的发展和应用领域的扩大,电子商务得以蓬勃地发展,网络购物已成为一种重要的购物方式.随之,网络购物的安全性问题也受到人们的广泛关注.文章用CCS对目前国内并
【机 构】
：
太原师范学院数学系,北京大学数学学院信息系
【出 处】
：
太原师范学院学报(自然科学版)
【发表日期】
：
2010年3期
其他文献
利用序列二次规划来求解非线性规划问题,并且引进滤子概念.在算法中,每次迭代分成可行阶段和最优化阶段,在可行阶段,减小不可行性的某种度量 在最优阶段,减小增广La-grange函
根据国内外锦纶膨体长丝及春最终产品开发情况的调研，提出了我国开发锦纶膨体长丝生产的一些设想。
利用Banach压缩映像原理，讨论非线性脉冲模糊微分方程的周期边值问题，给出了其解存在和唯一的条件．
介绍了搪玻璃设备现场快速修复的步骤、特点及经济效果。本方法的关键是表面清理和修补材料的选择。
在文献回顾的基础上,通过问卷调查并辅助以观察法与访谈法,选取以有效问卷范围为限的游客为样本,研究石竹山游客人口统计学与旅游行为两方面特征及二者之间的关系.通过数据统
添加非离子型表面活性剂ＲＡ、ＲＢ、ＲＣ、ＲＤ、ＲＥ，阴离子表面活性剂Ｐｃ和Ｃ－ＯＨ等活性剂可缩短过磷酸钙熟化期，其中Ｃ－ＯＨ活性剂熟化期最短，可在４８￣９０ｈ之内结束。磷矿中Ｐ２Ｏ５转化率可达９５％以上。
【正】正确地计算折旧,对于固定产的正常再生产和计算产品成本,有重要意义.这方面的基本问题之一,就是如何确立劳动资料价值的每年补偿额的计算原则问题,劳动资料价值的每年
【正】1957年12月,我们遵照省委指示精神正式承担了农村中心工作统计工作.这是我县统计工作的一个转折点.三个月来,全县统计工作在党政领导的重视支持和全体统计干部的努力下
目的研究胰岛素的注射和保存针对性教育模式对自我注射胰岛素的糖尿病患者的影响,并分析该类人群在胰岛素保存方面所面临的问题。方法选择2013年12月~2015年12月我院收治的在
结合工程实际应用,通过对二类积分近似计算本质特征的深入研究,介绍了六个新的积分不等式及计算方法,并给出了证明.它具有计算快捷、方便、准确等优点,有着广泛的应用前景.同