A formal passive testing approach to control the integrity of private information in eHealth systems

Abstract

Intelligent Information is generated with each click that we do. The systems that are responsible of this tend to have a log where they record all the accesses to them. Unfortunately, the integrity and anonymity of this vast amount of information is not always ensured. There exist many threats that can change or even delete part of these logs. One of the purposes of the Internet of Things (IoT) is to generate Intelligent Information from different sources. Therefore, if there are some irregularities, then the generated information is not useful. In this paper we present a proposal to take into account some of these threats and prevent their consequences in some eHealth systems. In order to increase the applicability of our approach, we have implemented a tool that allow us to manage communications and check whether they are performed as intended.