论文部分内容阅读
该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP，该协议可使通信双方处于平等的地位，并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性，对电子商务协议的设计和分析具有重要的指导作用。
一种新型的电子商务协议及形式化分析
【摘 要】
：
该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP，该协议可使通信双方处于平等的地位，并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的
【机 构】
：
华中科技大学计算机学院,华中科技大学计算机学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2004年36期
其他文献
在电子政务、电子商务等工作流应用环境中，任务执行者主要是组织机构中的人。访问控制系统的授权约束需求是工作流任务指派要考虑的重要问题，已提出的许多工作流授权模型主要讨
研究粘胶仿丝织物的服用性能。以5种粘胶仿丝织物和2种丝织物为研究对象，对7种织物的折皱回复性、拉伸回弹性、透气性和透湿性进行了测试，分析了各织物的服用性能。采用KES-FB
探讨不锈钢长丝排列方式和排列比对复合板材电磁屏蔽效能的影响。以涤纶长丝和不锈钢长丝织制的间隔机织物为增强体，经泡沫填充和表面树脂复合后制备了三明治型功能复合板材。
移动agent技术对于移动环境具有较好的支持，但是，大多数系统中，客户-agent-服务器之间的关系是线性的，不适合现实中移动数据库的网状结构。通过对agent的功能进行扩充和分工，提出
探讨氯化锂／N，N-二甲基乙酰胺微溶解处理对棉大麻混纺纱性能的影响。纺制了不同捻度的棉大麻混纺纱，并对其进行了微溶解处理，测试了处理前后混纺纱的断裂强度、断裂伸长率、毛羽
总结自动纬纱修补装置的特点及应用效果。介绍了自动纬纱修补装置的组成及工作原理；分析了其特点、日常维护工作、使用注意事项等。实际试验数据表明：其整体处理效率与人工相当
Malluhi等人在文献[1]中介绍了人工智能神经网络(ANNs)在超立方体上的有效映射，交叉立方体是超立方体的一个重要变型，而且具有比超立方体更优越的性质，如果在交叉立方体上实现AN
分析了物料清单（BOM）在产品制造过程中的核心地位，提出了将BOM表映射成PETRI网的算法，利用所得到的PETRI网建立了面向制造过程的工作流管理系统的模型，从而允许设计者根据产品的结
目的研究肉苁蓉总苷（Glycosides of cistanche，GCs）对喹啉酸（quinolinic acid，QA）所致Alzheimer病（AD）模型小鼠学习记忆的影响，并探讨其作用机制。方法采用一次性脑室内注射微量QA造成