【摘 要】
:
车联网作为汽车、交通和通信应用等行业广泛融合而汇聚的新兴产业,其数据拥有巨大的商业价值和社会价值。为了实现对车联网数据的高效应用,越来越多的云服务商提出了不同的车联网-云解决方案,数据上云存储已经成为车联网行业的必然需求。然而,层出不穷的云安全事件极大地打击了用户对云服务的信心。为了确保外包数据的存储完整性,云数据安全审计技术被广泛提出。但是,车联网数据种类繁杂、来源广泛、应用多样,这对审计工作提
【基金项目】
:
福建省自然科学基金面上项目(2018J01093); 武汉光电国家研究中心开放基金课题(2018WNLOKF09)
论文部分内容阅读
车联网作为汽车、交通和通信应用等行业广泛融合而汇聚的新兴产业,其数据拥有巨大的商业价值和社会价值。为了实现对车联网数据的高效应用,越来越多的云服务商提出了不同的车联网-云解决方案,数据上云存储已经成为车联网行业的必然需求。然而,层出不穷的云安全事件极大地打击了用户对云服务的信心。为了确保外包数据的存储完整性,云数据安全审计技术被广泛提出。但是,车联网数据种类繁杂、来源广泛、应用多样,这对审计工作提出了更高的要求。为了实现车联网环境下云端数据的完整性保障,本文针对不同的车联网数据应用场景,结合审计对安全和性能方面的需求,分别设计了不同的完整性审计方案,其主要研究内容如下:(1)针对数据用户对车联网数据的应用审计需求,考虑车联网数据的多源性和多样性,提出了一种基于数据映射表的多源数据公开审计方案。首先,本方案设计了轻量级的数据映射表来记录不同类型的数据分布,该数据结构可以高效地验证不同来源下特定类型数据的完整性;其次,考虑到车联网场景下庞大的用户群体,方案进一步提出了基于身份信息签名的审计协议来降低密钥管理和数据标签计算的开销。通过严格的形式化分析对提出方案的安全性进行了证明。此外,理论分析和实验评估表明,提出的方案可以很好地满足包含分类审计、多源审计和隐私保护功能在内的多种审计目标,且其通信和计算性能明显优于现有的审计方案。(2)针对车联网数据共享应用场景中的数据完整性验证问题,提出了一种支持隐私保护的车联网数据公开审计方案。首先,本方案设计了一个标签转换算法为共享数据计算新的认证标签。该标签可以对脱敏后的共享数据实现个性化的完整性验证。相比于传统方案,此举可极大地减轻用户端的计算和通信开销。其次,本方案基于密码学的同态验证技术,在审计过程中对数据证明值加入了随机掩码来有效的实现隐私保护。通过严格的形式化分析对提出方案的安全性进行了证明。此外,理论分析和实验评估表明,提出的方案可以实现个性化审计和隐私保护功能,且本方案在标签转换和审计阶段的计算开销远低于现有方案。(3)针对车联网环境下实体间信任域不同,特别是第三方审计者的可信性难以保证的问题,提出了基于智能合约的公开审计方案。首先,为了抵抗来自第三方审计者和云服务提供商的合谋攻击、避免产生不公平的挑战值,本方案设计了一种基于智能合约的挑战生成算法,该算法借助区块链的防篡改性来公平的生成随机采样值;其次,为了解决恶意审计者不按照审计周期来执行验证工作的问题,本方案构建了基于智能合约的审计固化算法,该算法使用系统时间戳来记录每次完成审计工作的时间,同时还要求审计者记录审计元数据来方便用户感知整个审计流程;最后,本方案还提出了一种审计后验证机制,该机制使得用户可以检查审计者是否正确地执行验证工作,该机制中的算力证明策略可防止审计者为节省计算或通信资源而伪造审计报告。通过严格的形式化分析对提出方案的安全性进行了证明。此外,理论分析和实验评估表明,本方案是可行且高效的。
其他文献
激光诊断技术具有非侵入性、实时、在位、高灵敏度和高时空分辨等优势,被广泛用于测量气体流场的速度、温度和组分等关键物理量,已经成为气体流场诊断的主要工具。其中,激光诱导等离子体光谱技术具有实验装置简单以及可实现多种组分同时激发等特点,特别是该技术在定量测量方面具有较大优势,使得该技术成为关注的焦点。目前该类技术主要采用纳秒激光或者飞秒激光为光源。近些年,该类技术在高湍流以及燃烧场等极端环境的测量当中
随着以抖音快手为代表的短视频APP的火爆,网络上储存的多媒体视频数据也在爆发式增长,这些视频信息往往包含音频和图像等模态的数据。对应的,传统单模态信息检索已经无法满足用于的日常需求,人们往往希望能够使用单一模态的信息去检索出其他模态的信息。但不同模态的数据本身是存在差异的,如何加强视听模态数据之间的关联性是一项值得深入研究的工作。首先,针对跨视听媒体匹配和检索任务本文提出了一个同构的双路网络框架用
认知科学和神经科学领域的大量研究表明,人脸和语音之间存在潜在的关联,利用这种关联,可完成跨人脸-语音生物特征识别。跨人脸-语音生物特征识别技术在现实生活中具有一定的实用性,可以促进认知科学和人机智能交互技术的发展,具有非常重大的现实意义和广泛的应用前景。针对跨人脸-语音生物特征识别技术目前存在的一些问题,本文提出了一系列解决方案:(1)针对模态内和模态间差异导致的误配问题,提出了基于双重约束的三元
长久以来,在物质与意识的关系方面,马克思主义哲学始终强调物质的第一性原则;在社会历史领域,马克思主义将生产力视为最活跃、最革命的因素,是社会发展的最终决定力量。因此,很长一段时间里,学界对马克思主义在人学方面的论述存在着不够广、不够深的问题。在马克思主义原著中,对人的关怀从未缺席,正是怀着解放全人类的初心,马克思主义才得以“永葆青春”,在新时代的今天仍然能够保持着科学性与先进性。人性问题是马克思主
近年来,随着认知语言学、脑成像技术等的发展,人们可以对文字认知过程中大脑的活动变化开展无损伤的研究。结合脑成像技术和认知心理学研究方法,探索汉语二语者汉字识别的心理机制,有助于为汉语二语习得提供语言认知加工角度的理论依据,同时为教学实践提供理论参考。本研究首先梳理了字词认知加工的概念和研究现状,并且对二语学习者字词认知加工的研究成果进行汇总。其次,本文将字词识别专家化与正字法加工研究相结合,深度探
目的:观察8周抗阻运动对进食障碍高危女大学生进食障碍风险的影响,并对比上午与傍晚时段运动改善程度的差异。方法:采用进食障碍问卷-3(EDI-3)筛查出60名进食障碍高危女大学生,随机分成上午组、傍晚组和对照组,共3组,每组20人。干预前,使用DXA法分析各组体重、BMI、瘦体重、体脂肪量、Fat%等指标。干预期间,进行为期8周的抗阻运动。上午、傍晚组分别于上午9点与下午5点开始进行抗阻运动干预,每