论文部分内容阅读
电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,指出了其存在的缺陷,对其进行了修改,并对修改后协议的公平性用经过扩展的串空间模型进行了形式化分析。
RSA-CEMD协议的分析及基于串空间模型的形式化证明
【摘 要】
：
电子商务协议的最基本任务是保证交易方进行公平交换,而分析交换协议是否保证了公平性就成了分析电子商务协议的关键。本文分析了文献[1]中的挂号电子邮件协议RSA-CEMD协议,
【机 构】
：
山东数字证书认证管理有限公司,山东交通学院
【出 处】
：
计算机工程与科学
【发表日期】
：
2007年2期
其他文献
本文讨论了MOGA目前存在的缺陷，并提出利用共享小生境技术为基础更新子群体，并针对遗传迭代过程提出相应的改进遗传策略。策略包括采用了期望、精英保留混合策略以及改进快速自
【正】琼府办[2012]59号各市、县、自治县人民政府,省政府直属各单位:经省政府同意,现将《海南省集中开展安全生产领域"打非治违"专项行动实施方案》印发给你们,请认真组织实
【正】琼卫妇社[2013]18号各市、县、自治县卫生局,省农垦总局卫生局,洋浦社会发展局,海医附院,厅直属有关单位:为加强我省高危孕产妇管理,降低孕产妇及围产儿死亡率,确保母
计算机基础课程的实践性教学对学员实践能力与创新能力的培养起着非常关键的作用，在加强对实践性教学认识的基础上，通过加强教员队伍的建设、更新实践教学内容、范例式和任务驱
二00八年七月二十三日交通运输部决定对《道路货物运输及站场管理规定》作如下修改：一、第八条修改为：申请从事道路货物运输经营的，应当向县级道路运输管理机构提出申请，并提供以
目的:建立一种检测重组抗CD20单克隆抗体的新的ELISA方法,以便快捷、简便、灵敏地检测生物体液中的重组抗CD20单抗。方法:采用双抗夹心ELISA法对重组抗CD20单克隆抗体进行定
本文针对顺序图形式分析上存在的困难，引进消息事件序约束的概念，利用Petri网理论定义了顺序图的分析模型，并给出了UML顺序图冲突和语义一致性的检查方法，最后通过一个实例说明了
【正】琼府办[2012]69号各市、县、自治县人民政府,省政府直属各单位:省纠正行业不正之风办公室《关于2012年纠风工作实施意见》已经省政府同意,现转发你们,请结合
通过埋设桩身混凝土应变计进行桩身内力测试,得到桩身轴力分布情况,揭示桩侧摩阻力和桩端阻力随荷载变化情况,对深厚软土地基处钻孔灌注桩设计和施工具有一定的指导意义。
横踢技术是一项在经历跆拳道中运用非常突出的技术,它进攻快、进攻完成后能够迅速切换成防守状态、能够迅速作出其他攻击动作的特点使它成为跆拳道运动员在比赛中最常用的技