【摘 要】
:
随着移动通信和计算机技术的飞速发展,用户可以在任意时间任何地点获取各种信息服务,并因此涌现了大量基于位置的服务(LBS)。这些基于位置的服务通过获取用户位置信息向用户提供关于这一位置的定制服务内容,已广泛应用于社交、游戏和导航工具等多个领域。LBS带来各种便捷的同时,也带来用户的位置隐私泄漏和恶意用户的位置欺骗等安全问题。因此,保护用户的位置隐私和验证用户位置是很重要的。目前已经有很多位置隐私方面
论文部分内容阅读
随着移动通信和计算机技术的飞速发展,用户可以在任意时间任何地点获取各种信息服务,并因此涌现了大量基于位置的服务(LBS)。这些基于位置的服务通过获取用户位置信息向用户提供关于这一位置的定制服务内容,已广泛应用于社交、游戏和导航工具等多个领域。LBS带来各种便捷的同时,也带来用户的位置隐私泄漏和恶意用户的位置欺骗等安全问题。因此,保护用户的位置隐私和验证用户位置是很重要的。目前已经有很多位置隐私方面的工作,本文主要研究位置验证协议的设计。现有的位置验证协议大多基于距离边界协议,需要限制攻击者的数目或通信能力,并且只能验证用户是否在某一区域范围内,并不能验证精准的位置。量子密码学的出现和发展带来了新的前景,但量子通信的部署和应用还处于研究阶段,在实际应用层面还不是很成熟。因此,需要设计一种更精确且可用的位置验证协议。因此,本文提出了一种基于协作干扰的位置验证协议,该协议能够验证证明者所声称的位置是否与其物理位置相符,无需限制攻击者的数量与通信能力,并且能够抵抗共谋攻击。针对位置验证的安全需求,本文构建了系统模型和攻击模型,描述了方案应该实现的设计目标。通过物理层的协作干扰实现对关键信息的隐藏,使得只有合法位置处的证明者能够通过位置验证。在此基础上,为了保障后续的安全通信,本文提出了基于协作干扰的密钥建立协议。该协议在验证证明者位置的同时,为未预共享密钥的验证者和证明者安全地建立密钥。针对该协议的系统模型和攻击模型,提出设计目标。通过进一步利用物理层的协作干扰,保障了密钥的机密性,实现了抗共谋攻击。由于在实际通信过程中,误码等因素可能会导致证明者计算的响应与正确响应之间有一定的偏差。因此,本文通过模糊提取器为提出的两个协议增加容错性,使得一定偏差范围内的证明者能够计算出正确的响应,从而提高协议的可用性。最后,本文对提出的两个协议进行了安全性分析,并搭建相应的通信仿真系统实现这两个协议。通过设计的实验测试在不同的攻击情形和攻击策略下协议的安全性和可用性,并得到如下结论:基于协作干扰的位置验证协议对于单个攻击者是无懈可击的,对共谋攻击有着不错的抵御效果,基于协作干扰的密钥建立协议对共谋攻击的抵御同样有效。并根据实验结果对模糊提取器的参数选取进行了讨论。
其他文献
目的:本研究旨在通过质性研究、专家咨询及文献回顾制定科学、有效、实用的肿瘤科护士自杀“守门人”培训方案,基于实证研究,实施并评价肿瘤科护士自杀“守门人”培训方案的科学性、实用性与有效性,为我国各级各类医疗机构开展肿瘤科护士自杀“守门人”培训提供参考。方法:(1)运用描述性质性研究方法,探究肿瘤科护士在预防患者自杀中的障碍因素,借助数据编码软件NVivo 12.0对数据进行编码与整理,根据内容分析法
在编程教育领域,编程调试过程中的行为测量研究,对于分析个体调试行为特征、调试策略和眼动模式具有重要意义。然而,仅仅依靠传统的量化分析方法,难以满足复杂多模态调试行为数据的分析需求。近年来,越来越多的相关研究采用可视化技术,帮助分析者理解多模态编程活动行为中的眼动跟踪模式、洞察潜在的认知过程。现有可视化相关研究在思维过程提取、调试意图识别和多人运算等方面仍处于探索阶段,仍然需要新的分析方法。本文以I
“不是”类反问句是口语会话中使用频率较高的一类是非型反问句。本文基于互动的视角对现代汉语“不是”类反问句进行研究,重点考察其识解特点、互动功能和语气迁移等。本文从句法、语义、韵律和具身动作层面对“不是”类反问句展开多模态分析。“不是”类反问句具有形义悖反的特点,句中否定词表达的是肯定性含义,否定词时长较短、语速较快,句末语调多为降调和平调,少数为升调,所伴随的具身动作多为输出型,用于传达说话人的某
自动音乐转录(Automatic Music Transcription,AMT)是将音乐信号翻译为符号标记的过程,AMT广泛应用于乐理分析、音乐创作、音乐教育等领域。在钢琴音乐转录领域,除了基于音频的转录方法以外,基于视觉的转录方法也成为一种有益补充。然而,基于RGB视频信息的视觉单模态转录方法存在一些缺陷,例如:钢琴黑键的弹奏状态变化不明显,因此转录精度还有进一步提升的空间。本文针对RGB视频
作为有清一代最大的散文流派,桐城文派绵延两百余年,几与清王朝国运相始终。在晚清三千年未有之变局下,社会思潮风云变幻,始终以载道为核心的桐城派散文亦随之而求新、求变,在不同阶段体现出了不同的发展特征。主流文坛的种种新变,势必引起区域地方优秀作家的积极回应,形成具有地域特色的散文发展局面。表现在湖北地区,便出现了王柏心、张裕钊、王葆心这样的桐城散文大家。三人薪火不绝,各有所创,共同构成了晚清湖北桐城派
殡葬保障是一国或一地区社会保障体系的重要组成部分,而殡葬文化则是殡葬保障机制的根基所在。因此,中国殡葬文化史是中国社会保障史的重要组成部分。纵观历史发展进程,任何一个国家或地区的殡葬发展与改革,都离不开其特定殡葬文化及殡葬制度的积极引导,且大多都是在当时文化、制度、理论框架之下逐渐发展成熟并不断变革成长的。宋代作为我国社会历史上具有鲜明特色的变革典型代表,其殡葬发展与变革也较为活跃和突出,具有极高
伴随着5G的普及,多样化的5G应用,如车联网、自动驾驶、智能制造、智慧物流、无人机操控等极大地丰富人们的生活。但这些应用场景中对用户定位的精度要求比之前GPS时期更高,比如车联网中车辆结队的主动避撞要求定位精度达到30厘米,且要求支持高速移动和超低时延的定位能力;远程操控无人机要求精度在10-50厘米之间。传统的GPS卫星定位的精度和时延不符合5G时代应用的要求。随着5G蜂窝网络定位技术的成熟,利
随着航空航天技术的不断发展,微纳卫星逐渐受到业界关注。微纳卫星属于低地球轨道卫星,具有体积小、成本低、快速部署和开销可控等优点,在对地观测、通信、新技术验证、科学试验等领域用途广泛,具有良好的经济和社会效益。微纳卫星网络是由多颗微纳卫星构成的集群网络,卫星节点的高速运动特性使得节点之间的位置关系随着时间发生变化,造成星间链路的连接状态不断改变,进而导致整个网络的拓扑结构复杂多变,因此需要采用拓扑控
《續一切經音義》是遼釋希麟所作的一部佛典音義專書,整理收錄了《一切經音義》成書至希麟時期一百八十餘年間湧現的佛典律論中的字詞。希麟作注,先注音,後釋義,還引用大量的字書、韻書作爲書證,材料豐富。對其進行音義匹配研究,對於考證當時的語音面貌,探求中古時期字詞音義關係具有重要意義。《續一切經音義》約九萬五千餘言,共釋詞1817條,字3945個。共有注音材料3424條,反切2936條,直音488條。論文
海德格尔是20世纪存在论的代表人物,同时代的阿多诺则是法兰克福学派社会批判理论的关键人物,他们各自的研究主题都契合二十世纪西方哲学界的研究主题——批判传统形而上学,对整个形而上学传统进行反思性批判。海德格尔对胡塞尔现象学进行批判性改造,形成独树一帜的基础存在论学说,他基于存在论差异和此在生存论将形而上学的目光重新凝聚于存在本身。阿多诺对海德格尔基础存在论的核心即存在进行了深刻地内在批判以揭示存在自