【摘 要】
：
随着电子商务的不断发展,消费者对于在线支付系统的服务质量要求越来越高,支付系统不仅要高速完成每笔交易,更要保证支付过程的安全性。在线支付是电子商务的核心功能模块,而
论文部分内容阅读
随着电子商务的不断发展,消费者对于在线支付系统的服务质量要求越来越高,支付系统不仅要高速完成每笔交易,更要保证支付过程的安全性。在线支付是电子商务的核心功能模块,而这个核心模块又由各个地理位置上分离的各个子模块组成,在该文中会对四个主要子模块进行建模,分析各模块之间的依赖关系及超时的扩散效应,通过UPPAAL对建模后的系统进行模型检测。经实验验证,所设计的支付系统模型可以在产生某个模块的超时后依然能满足安全性。
其他文献
摘要：随着网络的发展，网络拥塞成为一个不可避免的问题，拥塞控制成为当前网络研究的热点，为了使网络更加通畅和充分被利用，人们提出了很多拥塞控制机制。该文着重阐述了了两种经典拥塞控制算法：TCP网络拥塞控制和IP网络拥塞控制，分析出它们的优缺点，并介绍了当前在网络拥塞控制方面的最新算法，为网络拥塞控制的研究提供了方向。 关键词：TCP；IP；网络拥塞控制 中图分类号：TP393文献标识码：A文章编
目的探讨头颈部横纹肌肉瘤的MR表现.方法回顾性收集我院1990年~2004年11例经病理证实的头颈部横纹肌肉瘤,将年龄,病理类型及MR表现进行对照分析.结果该区域的RMS好发于儿童和
<正>病例一:金××,男,6岁,据其母称生后半岁开始即发现头皮较松弛,后于右侧颞部头皮逐渐发生条索状肿厚即皱摺并凹陷呈沟状,约有8～10个外观如脑回状、条索凸起似如香蕉形,且
从国家历史演进的视角对中国体育发展走向进行研究,认为新中国成立以来我国体育发展走向经历了3个阶段,包括普及与提高相结合的体育事业发展期;竞技体育与群众体育的曲折发展
低产山杏林改造初探郭增瑞，郭军（河北省赤城县林业局，赤城０７５５００）山杏是适应性较强的经济林树种。苦杏仁既是优良的木本油料，又是罐头、杏仁霜、杏仁露等产品和医药工业的重要原料。其副
降酶灵冲剂是我省名老中医张海峰教授的秘方。临床用汤剂治疗谷丙转氨酶升高的病例,收到较好效果。改成冲剂后,经薄层定性检查基本保留了原方药的主要成分,通过动物试验,证明
市场动态与趋势我国粮价将攀升杀来一个时期据国家信息中心预测，今年与未来相当长的一个时期内，我国粮价将呈攀升发展趋势。据分析，我国粮价攀升是由以下因素所决定的：１供需总量矛
当前，法官员额制改革正在全国各级法院普遍展开，而通过构建以审判团队为中心的集约化管理模式，整合重组审判资源，科学配置审判力量，创建专业审判团队，改变以前单打独斗，实现团队协同
目的讨论颈部彩超在诊断缺血性脑血管病中的应用价值。方法随机选取在我院2015年4月至2016年10月期间接受治疗的80例缺血性脑血管疾病的临床资料进行分析和研究。80例患者住