【摘 要】
：
形式化分析是验证不可否认协议安全性的重要方法，然而现有研究大都集中在两方不可协议建模与分析上，对多方不可否认协议安全性验证缺少关注，致使该类协议的安全缺陷无法得到
【机 构】
：
南京审计学院 信息科学学院,江苏 南京 211815
【出 处】
：
第十九届全国网络与数据通信学术会议
论文部分内容阅读
形式化分析是验证不可否认协议安全性的重要方法，然而现有研究大都集中在两方不可协议建模与分析上，对多方不可否认协议安全性验证缺少关注，致使该类协议的安全缺陷无法得到及时检测。本文基于逆向工程的思想，使用前期工作中提出的面向两方不可否认协议分析的增广CSP方法，对典型的Kremer-Markowitch多方不可否认协议的安全性进行了尝试性建模与分析。借助该分析我们成功发现该协议在满足不可否认性和公平性的同时却不具备时限性。这表明在适用于两方不可否认协议安全性验证的同时，增广CSP方法也可作为多方不可否认协议安全性验证的新方法。
其他文献
借助一个仅10余公斤的铁盒,可以使在高搂道遇突发事件的人跳下逃生并安然无恙。听到这话,你认为是个玩笑还是痴人说梦?但住在成都市李家沱街63岁的陈昌明却让这一近乎“天方
基于HTTP的动态自适应流(DASH)技术，是一种新兴的、基于HTTP码率自适应的流媒体传送技术，可以在提供HTTP协议的网络中广泛采用.DASH标准主要包括媒体表示描述文件和段的技
无线多媒体传感器网络中存在多种类型的数据，而且这些数据的服务质量需求并不相同.针对这种情况，提出一种基于蚁群优化的区分服务路由协议DSACO(differentiated service an
为推动渔业高质量发展,促进渔业种业和数字渔业发展成果交流,助力乡村振兴,12月5日,以“水产'芯'动力,种业创未来”为主题的首届中国水产种业博览会在厂东国际渔业高科技园开
接纳控制算法的好坏直接影响分布式计算中资源提前预留机制的总体性能。针对现有灵活预留接纳控制算法的优缺点，提出了一种可分片预留接纳控制算法。它允许对资源进行分段
健康教育不但可以使学生掌握卫生知识,增强讲卫生的自觉性,培养良好的卫生习惯,减少疾病,与疾病矫治相结合,可以大幅度降低学生常见病的患病率,改善健康状况,提高健康水平。
近年来,我委部分医疗单位为了适应医疗事业发展的要求,购置或更新医用诊断X线机,但新的国产医用诊断X线机防护问题仍未解决。被检查的四台X线机,30mA和200mA各一台,50mA二台
针对EPA不支持跨网段实时传输的问题，根据标准EPA网络跨网段通信链路模型及对EPA网桥工作过程的分解，分析了跨网段数据传输延迟构成，推导出跨网段数据传输的端到端延迟模型，
为落实中央军委《七·五除害灭病规划》,我们按照全军预防医学中心的计划,从1988年到1991年对全区医用X线机进行了防护改造和评价工作。工作主要包括四个方面的内容:X线工作
参与解决吃鱼难问题、研究土池养鳗技术、在乳源山区开发禾花鱼品种……目前,黄樟翰虽然已从中国水产科学研究院珠江水产研究所(以下简称“珠江所”)退休,但他退而不休,继续