【摘 要】
:
随着计算机和通信技术的快速发展,电子邮件、电子商务等应用逐渐渗透到日常生活的方方面面,如何保证信息交换中各方的公平、隐私是当前备受关注的问题。非否认协议是解决这类
论文部分内容阅读
随着计算机和通信技术的快速发展,电子邮件、电子商务等应用逐渐渗透到日常生活的方方面面,如何保证信息交换中各方的公平、隐私是当前备受关注的问题。非否认协议是解决这类问题的关键技术,它为参与实体提供非否认服务,包括发方非否认和收方非否认。非否认协议的设计需要满足公平性、时限性、机密性等安全属性。本文主要研究多方非否认协议的设计和非否认协议的形式化分析方法。主要研究成果如下:1.提出一种支持透明离线TTP的多方非否认协议。由于采用透明TTP,协议可以更好的保护协议实体的隐私。此外,协议具有较高的效率,且满足公平性、时限性和机密性。2.提出一种自适应多方非否认协议。协议增加了初始化接收者集合的过程,采用相同的密钥与一个随机数的异或加密不同的消息。在不同的初始参数下,协议可以退化为已有的发送相同消息或完全不同的消息给多个接收者的多方非否认协议。在发送不完全相同消息给多个接收者的应用场景中,协议可以减少公钥运算量、降低协议实体负担,具有更高的效率。3.提出一种密钥链多方非否认协议。协议采用双密钥链结构构造加密密钥。在多轮消息交换情况下,仅需保存一个协议会话标识符和一组协议实体标识符,可有效减轻TTP存储负担。4.提出非否认协议公平性分析的扩展串空间方法。该方法首先将签名运算引入串空间理论,对串空间理论的项集合和子项关系进行重新定义。然后通过将协议行为归纳为攻击者串、发送者串、接收者串和可信第三方串构造扩展串空间模型。最后用定理证明方法,验证丛中存在发送者串等价于丛中存在接收者串。ZG协议的分析结果表明,新方法方法可以避免状态空间爆炸。
其他文献
当代园林设计应走出"中国传统"与"西方现代"的二元对立。通过将古典园林理解为一种动态的审美体系,以北京2013年园博会设计师广场获奖作品"步移景异"为例,对中国古典园林的空
基于资源受限的若干关键技术问题一直是困扰WSN迈向成熟的瓶颈。围绕微波无线通信的特点设计低功耗的WSN应用算法正成为解决上述瓶颈的一个有效途径。通过适当控制WSN节点密
技术进步是产业结构高度化的内在动力。文中在分析了产业结构高度化演进过程、技术变化对产业发展的影响及技术渗入产业的主要制约因素后,探讨了产业结构高度化变动的技术导向
以忠武管道工程山岭隧道为例,总结了管道用山岭隧道的特点,说明管道用隧道的选用应根据管道工程的功能要求,结合现场地形地质条件和各线路比选方案,经经济技术综合比选确定。管道
用二元分段线性——线性插值法对压力传感器的非线性误差及温度误差进行了综合修正.设计了以单片机为核心的微机数据采集与处理系统,该系统在仪器仪表的智能化应用中具有一定
2017(第十一届)中国汽车轻量化技术研讨会于2017年9月4日-6日在湖南长沙成功召开。本届会议由汽车轻量化技术创新战略联盟和中国汽车工程学会共同主办,中汽(湖南)基地发展有限公司
给出了Dirichlet L-函数四次均值∑ |L(σ+it,x)|~4的一个较精确的渐近公式。式中1/2【σ≤1,t是任意实数,∑表示对模q所有非主特征求和。
目的:研究丹红注射液配合言语训练治疗中风后丘脑性失语的疗效。方法:60例中风后丘脑性失语患者随机分为一般治疗组15例,疏血通组15例,言语训练组15例,综合治疗组15例,疗程3周,分析
随着现代科学技术的不断发展,人们对网络通信技术的需求也不断提升,新的应用不断涌现,传统网络已经不能满足社会的需求,从而促进了无线网络技术的快速发展。无线自组织网络由
利用酸催化的溶胶-凝胶法制备了一系列不同Fe^3+的掺杂量的二氧化钛半导体纳米粒子。用XRD,TEM,PL,UV等技术对其结构及其光谱特性进行了研究。