【摘 要】
:
物联网(Internet of Things,IoT)是一个物理对象无缝集成接入构成的信息网络世界,包括了人、机、物构成的巨大信息通信网络。随着物联网技术和应用的迅速发展,巨量的设备广泛应
论文部分内容阅读
物联网(Internet of Things,IoT)是一个物理对象无缝集成接入构成的信息网络世界,包括了人、机、物构成的巨大信息通信网络。随着物联网技术和应用的迅速发展,巨量的设备广泛应用于智慧城市、智能家居、车联网等。但是其中大部分设备由于计算、存储、带宽资源有限,缺乏有效的安全防御机制,很容易成为敌手攻击的目标,因而设备的安全和隐私保护成为了物联网发展亟待解决的重要技术难题。而软件证明通过对物联网设备进行软件完整性度量以及通过网络认证验证物联网设备软件运行状态来保证物联网设备的安全。本文分别针对物联网低端设备、高端设备,设备集群等不同的场景,研究并实现三种不同的物联网软件证明技术。 针对低端嵌入式设备场景,实现了一种基于内存校验和的简单软件证明方案。在开发板Real210上进行了安全实现和仿真测试。针对高端设备场景,采用软件证明的思路对高端设备中运行进程进行安全证明,并采用白名单安全策略对运行进程进行有效的监视和控制。 上述两种软件证明技术主要针对单一设备的场景,无法满足大规模集群的全局证明需求。针对物联网设备集群,实现了一种高效集群证明方案。该方案将同构设备分组,并于每组设立一个管理节点负责该组的组内节点验证。当进行软件证明时,由于每个管理节点已经预先获悉该组节点可信性状态,所以只需要对全局集群环境内所有管理节点进行验证,从而提高了效率。该方案借助一个尽可能小的硬件特征集来构建信任根来进行软件证明,具有较高的安全性,能够抵抗合谋攻击等。实现的原型系统实验测试结果表明,当同构设备越多,管理节点越少的时候,本文方案的证明效率更高。
其他文献
工程进度管理是现代企业管理中一个必不可缺的重要组成部分,是保证工程项目按期完成,合理安排资源供应,节约工程成本的重要措施。企业的工程进度管理要求在既定的工期内,编制
当今时代,由于互联网的飞速发展,网络已经成为传播信息的主要载体之一。由于网络本身的虚拟性、随意性和渗透性,决定了网络舆情具有传播速度快、波及范围广、影响程度深的特点。
文字的出现标志着人类文明的诞生,文字是信息的载体,人们通过文字进行思想的交流,文化的传播,但是不同国家的语言不同,这一问题严重制约着人类的发展,特别是在全球一体化快速发展的
随着国民经济的快速发展,政治、经济、文化和社会生活对通信网络的依赖度越来越高,包括公用电信网、公共互联网在内的通信网络已成为国家关键基础设施,其全局性战略地位日益
伴随机械制造业的发展,实现复杂型面零件的高速高精度加工,成为数控技术发展的必然趋势:一方面要求数控机床具有较高的加工速度,另一方面要求CAM系统产生的微小程序段间能够平滑
冗余度机器人运动规划与控制方法研究主要从机器人运动学上着手,冗余度机器人运动规划是机器人运动前期的预算,轨迹规划的好坏直接影响着机器人整体的运行。控制冗余度机器人运
网络资源管理系统是某新能源动力公司电动车充电站运营管理系统的子系统,主要完成对电动车加电站网络中各种设备资源的集中管理功能。加电站网络资源管理涉及到城市管理,场所
Web服务可视为具有并发性的分布式软件系统,可通过相关标准实现不同应用程序间的互操作。然而,并发系统往往存在非确定性进程调用,程序员在编写代码时很难考虑到大量并发进程
旅行商问题(Traveling Salesman Problem,TSP)是19世纪由爱尔兰数学家Sir William Rowan Hamilton和英国数学家Thomas Penyngton Kirkman提出的一个数学问题,是指一个旅行商,
变电站是电力系统的重要组成部分,随着变电站自动化水平的不断提高,变电站需要逐步改进为无人职守的运行模式,电力用户希望能通过浏览器随时查看变电站的历史信息及实时运行状况