【摘 要】
：
电子商务协议的安全性是电子商务健康发展的关键.随着SET协议应用的日益广泛,其安全性受到了业界的极大关注.分析、寻找SET协议安全隐患或证明其安全性,将有助于协议的进一步
论文部分内容阅读
电子商务协议的安全性是电子商务健康发展的关键.随着SET协议应用的日益广泛,其安全性受到了业界的极大关注.分析、寻找SET协议安全隐患或证明其安全性,将有助于协议的进一步应用和发展.将模型检测应用于分析SET协议,给出SET协议支付过程的形式化模型和有限状态机模型,以及协议安全属性的CTL公式,并在网络环境被入侵者控制的假设下,基于SMV符号模型检测工具对协议进行了分析.结果表明,SET协议拥有保密性、完整性、认证性等电子商务安全需求属性.
其他文献
林业产业化是社会发展的需要,5月27日我区与浙江林业厅签署对口支援合作协议,与我区合建＂浙江林＂以此绿化长江岸,在涪陵发展现代林业,打开我区林业产业化新格局。本文是笔者对
为促进建筑市场的健康发展,我国于2008年10月修订了作为国家标准的《建设工程工程量清单计价规范》,在工程建设招投标中全面推行工程量清单计价模式。因此,施工企业必须结合
【摘 要】生活是创造的源泉，在生活中发掘创作素材。欣赏优秀的美术作品；画生活速写；观察自然，感悟生活；勤于训练，提供培养初中思维能力的情景。在写生课中培养创作思维能力；在动手动脑中培养创作思维能力；美无处不在，培养学生观察能力。挖掘潜能，给予可定，提高创造能力。 【关键词】美术教学创造力 曾看过这样一则事例：一位国内重点学校的学生，移民到美国，上第一节美术课，教师要求他们画一棵圣诞树，这位中国
通过比较直接算法和Chan算法的优缺点，针对Chan算法作为Taylor初值算法运算比较复杂的问题，分析了基于TOA到达时间的UWB（超宽带）定位算法，即直接一Taylor复合定位算法，将直接算法作
在超宽带室内定位系统中，采用非相干能量检测方法进行TOA估计的方案是日前的一个研究热点，然而在低信噪比时能量检测方法往往很难获得比较精确的估计值。原因是噪声给首达峰值
文章主要从市场经济体所面临的信用风险着眼,尤其是经济不景气时期,各种经济体应该采取何种防范措施来规避风险,以及各种市场经济参与者在日常的经济运营中应实施的信用风险
有人曾说：关心好学生是教师的本能，但爱护学困生是教师的品德。因此作为老师我们应该有一颗宽容的心，能够用宽容的心对待学困生，这样他们肯定能够理解老师们的苦心。对这些学习有
工作频率为3．4～3．6GHz的低旁瓣十六元微带缝隙天线阵的设计方法，应用微带缝隙天线的理论及馈电方式设计天线阵元。通过谢昆诺夫单位圆辅助分析法对天线阵进行优化设计后，可实现天
安全协议是网络安全的重要基础，形式化分析是保证安全协议具备相应安全性质的有效途径。通过对安全协议进行分类，阐述了各类协议所应具备的安全性质；并基于安全协议进行形式化分
为了缓解IP地址日益紧张的局面，以及基于安全考虑而提出的网络地址翻译（NAT）技术却因为无法让语音透明穿越，而成为VoIP发展中的难点问题．通过采用软件模块化的设计思想，使用Visual