【摘 要】
：
电子商务协议是安全协议和商务逻辑的结合体.SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案.因为SET协议涉及的参与主
论文部分内容阅读
电子商务协议是安全协议和商务逻辑的结合体.SET协议是为解决信用卡支付业务在Internet上安全、可靠的支付而提出的一种解决电子商务的安全支付方案.因为SET协议涉及的参与主体较多,相互握手次数较平凡,从而导致协议比较复杂,分析比较困难.在分析SET协议规范的基础上,利用形式化分析工具-Petri网对SET协议进行建模分析,给出协议与Petri网模型之间的对应关系.最终使得SET协议便于理解和分析.
其他文献
赵本夫的《无土时代》不仅深隐着对城市文明和工业文明进程下乡村伦理和乡村传统历史走向的思考,而且也隐含着对传统农耕文明在现在都市化进程下所显露出的诸多历史局限性的
我公司为广东某建材有限公司生产的主机设备φ3．8×5．5m及φ3．8×8．5m水泥磨机，用于粉磨高渗粉煤灰水泥。工业废料粉煤灰综合利用于水泥行业，一方面解决了粉煤灰对环境的污染：另一方
为了研究PSK调制,本文设计了两种PSK调制模拟系统,即CPSK调制模拟系统与DPSK调制模拟系统.结果对比可知,在200MHz的时钟下,虽然DPSK调制比CPSK调制总功耗多0.18mw,总逻辑单元
对于金属表面上的二次谐波产生,现有理论(流体动力学和密度泛函理论)的计算结果与实验数据相差一个数量级。本文利用相关基函数理论计算了Al,Mg和Ag表面上的二次谐波,由于该
目的通过健康管理对社区心血管患者采取健康干预措施。观察实施后效果,探寻行之有效的,降低患者医疗费用的健康管理模式。方法根据患者的意愿将患者分成两组,一组通过健康管
降低无线传感器网络的能耗一直是迫切解决的问题。通过对无线传感器网络节点能耗分布情况的研究，发现对无线传感器网络节点休眠，可以减少节点收发能耗。针对降低无线传感器网络
<正> 一、难养问题的表现 1.生长变缓 正宗的黄河鲤一般当年个体重可达250—500g,第二年个体重可达500—1000g。可近几年发现不少地方生长的黄河鲤苗种第一年个体重只能长到1
森林抚育是实现人工林科学、高效、可持续经营的基本要求。以甘肃省沙滩国家森林公园云杉(Picea asperata)人工林为研究对象,设置幼龄林和中龄林两个试验区,对5种抚育方式后
目的探究信息-动机-行为技巧(IMB)模型对下肢深静脉血栓形成(DVT)患者出院后的用药管理效果。方法选取下肢DVT出院患者183例,按随机数字表法分为2组:对照组90例,给予常规出院
中国传统文化与马克思主义在理论逻辑及内在理路上有着巨大的一致性,这种一致性所生发出来的契合性,正是这种契合性,带来了中国传统文化与马克思主义理论的生长环境,是马克思