摘要：电子商务协议是电子商务实施的技术基础 .对电子商务协议研究进行综述 ,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模 )

摘要：电子商务的快速发展加强了电子商务协议的新类型的需求,尤其对各种复杂协议的需求,这使得协议本身安全性的证明变得更为困难。为了证明电子商务协议的可靠性,研究人员已设计了各种方法。为了更加清楚地描述需要证明的电子商务协议的安全目标,研究者们已经提出了几种标志性属性,其中之一是较著名的原子性犤8犦,但这并不能完全描述电子商务协议的全部安全性定义。在犤1犦里,研究员对一项有研究价值的新属性进行了研究,称为“保护个人的利益”,并且提出一个手工验证的模型。该模型虽然有效,但是实用性较差。文章提出了一个基于模型检验这种技术的自动验证方法。

摘要：针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击。给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果。对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性。

摘要：该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性,对电子商务协议的设计和分析具有重要的指导作用。

摘要：电子商务协议的安全性和原子性是电子商务研究者和使用者广泛关心的问题,在协议设计完成之后,采取一定的方法对协议进行分析检验以确认协议,是否满足协议是否符合协议设计要求是十分必要的。提出了可以用符号模型检验器(SMV)对电子商务协议进行分析,在对Digicash协议及电子商务原子性进行形式化描述的基础上,用SMV从钱原子性和商品原子性这两个角度对Digicash协议的原子性进行了分析和检验,指出了Digicash协议的缺陷,从而表明了用SMV对电子商务协议分析和验证的可行性。

摘要：讨论了密码、协议和防火墙边三道网络安全防线。首先评价了美国国家标准技术局颁布的15个先进加密标准的候选算法，从中可以看出密码的发展趋势。然后重点探讨了电子商务协议的逻辑分析。最后介绍了超级防火墙的新思想及其功能和设计原理。

摘要：0018601多接口个人通信系统的设计与实现[刊]/姚松//计算机工程.—2000,26(8).—171～172,177(D)0018602基于目录服务和 Java 技术的 WebMail 系统的设计和实现[刊]/陈家益//计算机工程.—2000,26(8).—132～134(D)在讨论轻量级目录访问协议和 Java 技术,以及X.500分布式目录服务的基础上,设计了基于目录服务和 Java 技术的 WebMail 系统,并与普通的 WebMail系统进行了比较。

摘要：0引言网络交易与传统支付不同,网络交易时买家的隐私信息得不到有效保护,买家在网络交易的过程中,除了在商户中留下个人信息记录外物流方也可以获得个人信息。一些商家和物流公司会借机非法出售买家隐私信息,买家会经常受到垃圾邮箱、垃圾短信和垃圾电话的骚扰。为保证交易安全,大量的电子商务协议出来。其中,影响力较大的是安全电子传输协议SET协议。基于此协议,研究者陆续提出了各种变种协议、EMSET无线支付协议等以解决不同的安全问题。

摘要：提出了一种工作流访问控制模型WACM(Workflow Access Control Model),该模型支持基于角色的授权,通过工作流引擎中的访问控制矩阵进行同步授权,采用Perti网来描述工作流,对工作流参考模型进行了定义和描述,分析了工作流访问控制模型WACM的体系结构,并将该模型应用到电子商务工作流中,建立了基于安全电子商务协议(SET)的访问控制模型。