Mohammad Amin Sadeghi - Department of Computer Engineering, Instructor, Jahrom Islamic Azad University, Jahrom, Iran
Reza Asadinejad - Department of Computer Engineering, Jahrom Islamic Azad University, Jahrom, Iran
Fatimah golkar - Department of Computer Engineering, Jahrom Islamic Azad University, Jahrom, Iran

The Internet of Things (IoT) describes the connection between objects (or things) for various purposes, such as identifying, communicating, measuring, and collecting data. Things in this context are from traditional computing such as PCs (computers) to public home devices embedded with capability to measure and / or communicate through the use of technologies such as Radio Frequency Identification (RFID). We present a processing method for modeling and reasoning on systems of objects paradigm. Our systems communicate with the physical environment via sensors and triggers, and with smart devices, through low-light channels and the Internet. The calculations are equipped with a standard notion of spiral imitation, which has proven to be well-known for a well-known tissue equation. We use our semantic proof methods to prove the runtime properties of an unusual case study as well as system equivalence. This conceptual article from a philosophical point of view introduces a set of guiding principles, also referred to as commands in the article that can be introduced, deployed, and applied by all stakeholders involved in the IoT.

Internet of Thing, security, privacy, Cyber-physical systems, Block chain