论文部分内容阅读
电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析。
RSA-CEMD协议的分析及基于串空间模型的形式化证明
【摘 要】
：
电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,
【机 构】
：
山东数字证书认证管理有限公司,山东交通学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2007年2期
其他文献
本文讨论了MOGA目前存在的缺陷，并提出利用共享小生境技术为基础更新子群体，并针对遗传迭代过程提出相应的改进遗传策略。策略包括采用了期望、精英保留混合策略以及改进快速自
目的:建立一种检测重组抗CD20单克隆抗体的新的ELISA方法,以便快捷、简便、灵敏地检测生物体液中的重组抗CD20单抗。方法:采用双抗夹心ELISA法对重组抗CD20单克隆抗体进行定
本文针对顺序图形式分析上存在的困难，引进消息事件序约束的概念，利用Petri网理论定义了顺序图的分析模型，并给出了UML顺序图冲突和语义一致性的检查方法，最后通过一个实例说明了
通过埋设桩身混凝土应变计进行桩身内力测试,得到桩身轴力分布情况,揭示桩侧摩阻力和桩端阻力随荷载变化情况,对深厚软土地基处钻孔灌注桩设计和施工具有一定的指导意义。
横踢技术是一项在经历跆拳道中运用非常突出的技术,它进攻快、进攻完成后能够迅速切换成防守状态、能够迅速作出其他攻击动作的特点使它成为跆拳道运动员在比赛中最常用的技