Formal Approach to Internet of Things in the Context of the Web 7.0 Project

Abstract

Abstract— Since the introduction of the Internet of Things (IoT) by the International Telecommunication Union (ITU), relevant technology has been a subject of intensive Research and Development (R&D). Various definitions of IoT have been introduced by different R&D groups and authors, as well as by the involved standardization organizations. Upon the review of the vast body of IoT-related literature we have witnessed on numerous occasions arbitrary IoT relevant terminology.  Our conclusion was that a more rigorous approach to this fascinating area of R&D is necessary. This paper is primarily focused on IoT semantics consolidation, IoT security, and new horizons of the application of the Zero Trust Architecture (ZTA) to secure and private IoT systems design. The attribute of privacy, being frequently mixed up with security, has been addressed in the context of the Web 7.0 project. In this paper we consider IoT as an extension of the Internet, i.e., as Internet 2.0, and IoT privacy as an extension of the ZTA set of design goals or principles.