Checking and Enforcing Security through Opacity in Healthcare Applications

Rym Zrelli, Moez Yeddes, Nejib Ben Hadj-Alouane

The Internet of Things (IoT) is a paradigm that can tremendously revolutionize health care thus benefiting both hospitals, doctors and patients. In this context, protecting the IoT…