【摘 要】
：
给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议
【机 构】
：
中国科学院软件研究所基础软件国家工程研究中心,北京大学软件与微电子学院,中国科学院研究生院,中国科学院综合信息技术国家级重点实验室,中国科学院计算机网络信息中心
论文部分内容阅读
给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足.
其他文献
娘子关镇位于晋冀交界处，隶属山西省阳泉市平定县。娘子关素以雄关、险道、秀水、崇山著称。其中娘子关景区规划面积45平方公里，核心景区面积15平方公里，有天下第九关关城、悬泉
融资活动对民营企业的生存和发展至关重要,而信息披露,特别是社会责任信息披露与企业融资之间的关系尚未得到充分研究。文章围绕民营企业的融资问题,实证检验了财务信息质量
目前中国农产品出口过程中面临诸多贸易壁垒,尤以技术性贸易壁垒为主。对于贸易壁垒不宜一概认定为不合理,具有合理性的相对壁垒也有一定的积极意义。为应对贸易壁垒,农业生
芜湖长江大桥 1号～ 8号墩 ,每墩基础为 8根 3.0 m直径钻孔桩 ,共计 6 4根 ,桩基覆盖层厚约 45 m,岩石强度高 ,入岩深度 5～ 1 6 m,施工水深 1 0～ 2 6 m ,施工难度和风险都很大 ,
农产品滞销问题是由多种原因造成的,其中农产品物流信息不对称,物流管理体制分散,农产品物流本身的复杂性,农产品物流基础设施不足以及气象因素等是造成农产品滞销的物流原因
初中英语是学生人生生涯中的重要学习内容,新课程改革的推行使广大初中英语教师不断完善自己的课堂教学模式。其中,翻转课堂这一新型教学模式受到广大一线初中英语教师的青睐
目前产业集群遍及世界的各个角落,成为一种世界性的经济现象。产业集群也成为县域经济新的增长极。本文在分析沈阳市县域产业集群发展现状的基础上,分析产业集群促进沈阳市县
目的:研究基于血流敏感散相的平衡稳态自由进动序列的非增强磁共振技术(FSD-bSSFP NC-MRA,FSD-bSSFP)在类风湿性关节炎手部血管成像的应用价值。方法:20例类风湿性关节炎患者
一、课题研究背景基础教育课程改革强调以学生发展为本,注重学生潜能的开发和创新精神、实践能力的培养。然而,我校部分教师对此缺乏应有的认识,或者虽有一定的认识,却未能在
目的:探讨MRI对髓质海绵肾的诊断价值。方法:回顾性分析9例髓质海绵肾患者的MRI表现,全部病例均行常规T1WI、T2WI及磁共振尿路成像(MRU)扫描,分析患肾的形态、大小及髓质内集