Intelligent secure communications between systems

Abstract

Almost every day a new intelligent system is developed and connected to the Internet using a wireless network. However, there is a great number of hazards that turn them into vulnerable systems. Hackers, social engineering, software and hardware errors are the main reasons for this phenomenon. In the case of intelligent systems, the most important aspect that can be affected, in terms of security, is the communication. In this paper we present a tool, implementing an effective technique, to avoid these security problems. The main goal of the tool is to determine if the communication among different intelligent systems is unprotected and prevent unauthorized access from external actors. In order to do it, the tool allows us to check online that the observed behaviour of the systems, in a specific scenario, fulfils some properties.