Modeling and verifying based on timed automata of Internet of things gateway security system

The Internet of things (IoT) is a multiple heterogeneous network,and its perception layer is often faced with various security threats.As the bridge between the perception layer and the network layer,the IoT gateway should have the security management function to prevent the security issue from spreading to the upper layer.According to the current security deficiencies in IoT gateway,a universal IoT gateway security system was proposed based on the IoT gateway middleware technology.Various security protocols or algorithms can be embedded in IoT gateway security system,and the modeling and analysis can help the design and implementation of IoT gateway.The formal modeling and verification of the IoT gateway security system was performed by timed automata.The results show that the IoT gateway security system satisfies the security properties of confidentiality,availability,authenticity,robustness,integrity and freshness.     

Analysis of identifiers in IoT platforms

The Internet of Things (IoT) provides new opportunities for different IoT platforms connecting various devices together. The need to identify those devices is the foremost important to perform any kind of operation. Many organizations and standard bodies that provide specifications and frameworks for the IoT currently have their own identification mechanisms. Some existing industrial identification mechanisms can also be used in the IoT. There is no common Identification Scheme (IS) for the IoT as yet, because of the political and commercial differences amongst the standard bodies. The unavailability of a unified IS method makes the inter-working among IoT platforms challenging. This paper analyses and compares ISs used by several selected IoT platforms. This work will help in understanding the need for a common identification mechanism to provide inter-working among different IoT platforms.     

绿色物联网:需求、发展现状和关键技术

从物联网的概念提出至今,政产学研用各界大力投入物联网的研究和建设工作中.当前,物联网主要集中在传统的技术设计和行业应用方面,作为信息技术产业的重要组成部分,其建设和发展必然受到能源和成本问题的制约,绿色节能也是目前关注较少的一个领域.为从根本上理清物联网目前存在的能耗问题,为建设高能效的绿色物联网提供理论依据,本文首先介绍了绿色物联网的基本概念,对绿色物联网的发展进行了分析,然后根据物联网的发展需求,结合我国物联网的发展现状,对当前绿色物联网各层的能耗构成进行了具体分析,总结了产业界和学术界在绿色物联网方面的推动工作;同时以物联网的层次关系为出发点,对绿色物联网各层的绿色节能和能效优先设计技术进行了深入分析和梳理,然后结合物联网层次关系给出了当前研究界对绿色物联网研究的各个环节的主要技术,最后对绿色物联网的未来发展进行了总结和展望.     

数据交换标准是物联网产业发展的关键

阐述了物联网理念和定义,在分析其技术共性的基础上提出了物联网四大支柱产业群的划分。物联网产业发展的关键是应用,应用的关键是无处不在的末端设备的联网大集成,大集成的核心是统一数据交换标准的建立。提出了建立“类HTML”统一数据交换标准是物联网产业发展的关键,并对其可行性进行了全面的对比分析,同时对通过推行数据交换标准化占领物联网产业制高点进行了探讨,并提出了实践原型标准。     

物联网的最新发展动态

中央政府目前全局部署物联网产业发展,物联网政策和环境已逐步完善和细化,地方政府也根据自身的地方特点实施物联网应用。物联网技术和标准稳步发展,但物联网技术还有很大的提升空间,未来物联网的技术将在信息感知、信息传输和信息处理技术领域有很大的突破。     

物联网智能家居技术与标准化综述

在介绍智能家居技术和市场发展情况的基础上,探讨了物联网技术与智能家居的融合带来的物联网智能家居的系统架构与应用服务,同时对与物联网和智能家居相关的标准化情况进行了分析总结,并针对物联网智能家居技术与标准化的发展提出了相关建议.     

A systematic literature review of machine learning applications in IoT

The Internet of Things (IoT) is a network of interconnected smart objects having capabilities that collectively form an ecosystem and enable the delivery of smart services to users. The IoT is providing several benefits into people's lives through the environment. The various applications that are run in the IoT environment offer facilities and services. The most crucial services provided by IoT applications are quick decision for efficient management. Recently, machine learning (ML) techniques have been successfully used to maximize the potential of IoT systems. This paper presents a systematic review of the literature on the integration of ML methods in the IoT. The challenges of IoT systems are split into two categories: fundamental operation and performance. We also look at how ML is assisting in the resolution of fundamental system operation challenges such as security, big data, clustering, routing, and data aggregation.     

物联网关键技术及其发展

阐述了物联网的概念发展,给出了一种被普遍认可的物联网概念,分别辨析了泛在网、传感网、M2M等与物联网密切相关的几个网络概念,并基于已有的物联网体系架构,将几种物联网体系架构进行了对比,分析了物联网的关键技术与标准现状     

基于扩展传染病模型和马尔可夫链的物联网可用度评估方法

为反映恶意程序传播环境下物联网可用的状态,基于扩展的SEIRD传染病模型和马尔可夫链提出一种物联网可用度评估方法。根据物联网节点的实际状态,扩展经典传染病模型SIR建立SEIRD物联网节点状态转换模型。由物联网节点各个状态之间的动态变化过程,构建物联网节点处于5种状态的概率动力学方程,得到反映各状态转换的马尔可夫矩阵,进一步得到物联网节点的可用度计算方法。以典型的星形和簇形物联网拓扑结构为例,给出整个物联网可用度的评估方法。通过实验,为管理员如何合理部署正常工作节点数、路由数提供建议。研究成果对提高物联网可用度、促进物联网成功应用具有理论指导意义。     

Machine learning-based clustering protocols for Internet of Things networks: An overview

The Internet of Things (IoT) continues to expand the current Internet, opening the door to a wide range of novel applications. The increasing volume of the IoT requires effective strategies to overcome its challenges. Machine Learning (ML) has led to a growing technology that enables computers to solve problems without the need for knowledge of their intricate details. Over the past years, various ML techniques have been used to efficiently manage IoT networks. Clustering is a technique that has proven its performance in the networking domain. Many works in the literature have studied ML-based clustering methods for IoT networks, including their main properties, characteristics, underlying technologies, and open issues. In this paper, we focus on topology-centered ML-based clustering protocols for IoT networks. Specifically, we investigate the potential benefits of adopting the clustering approach to address several IoT challenges. Moreover, we provide a comprehensive taxonomy of ML-based clustering algorithms for IoT networks. Finally, we statistically analyze the incorporation of ML techniques for clustering in various IoT systems and highlight the related open issues.     

低速率物联网蜂窝通信技术应用展望

在物联网体系中低速率物联网的应用比例较大。低速率物联网具有成本低和消耗低优势。物联网技术人员为满足低速率物联网的应用要求,陆续研发了Cat.M和NB-Iot等系统,推动了低速率物联网的可持续发展,帮助人们深刻理解低速率物联网技术。     

Survey of the Internet of things operating system security

With the rapid popularization and wide application of the Internet of things (IoT),the security problems of IoT operating system,which is the essential part,become more and more urgent.Firstly,the famous IoT operating systems and their different features were introduced,then it was compared with present embedded systems.Secondly,On the basis of the survey of research related to IoT operating system,the research was discussed and analyzed from the view of building a comprehensive security system,then security challenges and opportunities which the IoT system faced were pointed out,and the research status of the security of the IoT operating system was summarized.Finally,the promising future study directions in the IoT operating system security field were discussed based on the drawbacks of the existing researches,particularly,the IoT system survival technology as a new research direction was pointed out.     

物联网云平台终端远程更新技术研究与应用

物联网终端远程更新是支持其迭代式优化、规模化部署和低成本维护的基础。分析了物联网终端远程更新现状与统一管理控制需求间的矛盾,基于LWM2M协议提出了物联网终端远程升级技术解决方案,探讨物联网云平台对异构式操作系统、多形态终端远程更新的统一管理和控制,降低了终端规模升级对网络冲击,提高远程更新的通用性、可靠性和稳定性。     

基于可信计算构筑物联网安全边界

近年来，中国物联网政策支持力度不断加大，技术创新成果接连涌现，各领域应用持续深化，产业规模保持快速增长。本论文以物联网接入边界为切入点，探讨了物联网安全接入问题的解决方案。设计了基于可信计算3.0的物联网可信网关，以及安全管理中心，构建了可信的物联网安全边界接入系统。为各种异构物联网终端设备提供了安全屏障，隔绝了针对于物联网设备的网络安全威胁。     

物联网平台安全接入方案研究

物联网发展过程中,面临的一个重要问题是感知数据如何从感知设备安全地传输到物联网平台的问题。文章针对三种物联网平台部署模式,提出三种物联网平台的安全接入方案,并分别对三种方案的安全性进行讨论。     

Survey of Testing Methods and Testbed Development Concerning Internet of Things

The concept of Internet of Things (IoT) was designed to change everyday lives of people via multiple forms of computing and easy deployment of applications. In recent years, the increasing complexity of IoT-ready devices and processes has led to potential risks related to system reliability. Therefore, the comprehensive testing of IoT technology has attracted the attention of many researchers, which promotes the extensive development of IoT testing methods and infrastructure. However, the current research on IoT testing methods and testbeds mainly focuses on specific application scenarios, lacking systematic review and analysis of many applications from different points of view. This paper systematically summarizes the latest testing methods covering different IoT fields and discusses the development status of the existing Internet of things testbed. Findings of this review demonstrate that IoT testing is moving toward larger scale and intelligent testing, and that in near future, IoT test architecture is set to become more standardized and universally applicable with multi-technology convergence—i.e., a combination of big data, cloud computing, and artificial intelligence—being the prime focus of IoT testing.

     

物联网标准体系及国际标准化最新进展

给出了物联网标准化体系,基于物联网技术体系和行业应用特殊性,将物联网标准分成4类,即物联网总体性标准、通用共性技术标准、公共物联网(M2M)标准、行业专属物联网标准。在此基础上,重点对ITU-T、OneM2M、3GPP以及传感器网络相关的标准化最新进展情况进行了介绍。     

Future IoT‐enabled threats and vulnerabilities: State of the art,challenges, and future prospects

In the recent era, the security issues affecting the future Internet‐of‐Things (IoT) standards has fascinated noteworthy consideration from numerous research communities. In this view, numerous assessments in the form of surveys were proposed highlighting several future IoT‐centric subjects together with threat modeling, intrusion detection systems (IDS), and various emergent technologies. In contrast, in this article, we have focused exclusively on the emerging IoT‐related vulnerabilities. This article is a multi‐fold survey that emphasizes on understanding the crucial causes of novel vulnerabilities in IoT paradigms and issues in existing research. Initially, we have emphasized on different layers of IoT architecture and highlight various emerging security challenges associated with each layer along with the key issues of different IoT systems. Secondly, we discuss the exploitation, detection, and defense methodologies of IoT malware‐enabled distributed denial of service (DDoS), Sybil, and collusion attack capabilities. We have also discussed numerous state‐of‐the‐art strategies for intrusion detection and methods for IDS setup in future IoT systems. Third, we have presented a brief classification of existing IoT authentication protocols and a comparative analysis of such protocols based on different IoT‐enabled cyber attacks. For conducting a real‐time future IoT research, we have presented some emerging blockchain solutions. We have also discussed a comparative examination of some of the recently developed simulation tools and IoT test beds that are characterized based on different layers of IoT infrastructure. We have also outlined some of the open issues and future research directions and also facilitate the readers with broad classification of existing surveys in this domain that addresses several scopes related to the IoT paradigm. This survey article focuses in enabling IoT‐related research activities by comparing and merging scattered surveys in this domain.     

云计算分布式缓存技术及其在物联网中的应用

物联网是信息技术发展到一定阶段的产物,而云计算平台是物联网应用的基础。文章从当前云计算应用所面临的问题和缺陷出发,介绍了云计算分布式缓存的部署方式、功能架构及关键技术,并说明了分布式缓存高性能、高吞吐、高可靠性、高扩展性等优势和特性。文章解决了物联网应用普遍面临的数据可靠性、大容量内存共享、多模块数据一致保障、线性扩容等难题,为物联网平台云化架构的底层支撑奠定了基础。     

A socio-technical framework for Internet-of-Things design: A human-centered design for the Internet of Things

This study presents a case application of a socio-technical framework to assess and predict the development of the Internet of Things (IoT) in Korea. Applying a socio-technical system approach to the IoT, this paper seeks a clear understanding of how the IoT will evolve and stabilize in a smart environment. It investigates the complex interaction between social and technical aspects of the IoT, by highlighting the co-evolution, interaction, and interface, which constitute the next generation network environment. It describes the challenges in designing, deploying, and sustaining the diverse components of the IoT, and provides a snapshot of Korea’s current approach to meeting this challenge. Finally, the findings of this study provide insights into these challenges and opportunities, by offering a socio-technical analysis of IoT development. The insights help to conceptualize how the IoT can be designed and situated within human-centered contexts.