Skip to Main Content
Usually, safety and robustness are considered as the most important issues when designing and developing smart and wireless eHealth systems for ambient support of patients and physicians. However, information security is an indispensable design criterion due to the sensitive and critical nature of aggregated information from eHealth applications. Therefore, preventing undesired information leaks and illegal information flows is crucial for designing smart mHealth and mobile medical assistant systems. Due to the rapidly increasing complexity of these systems, finding information flow violations manually is nearly impossible. That is why there is a need for formally-based and tool supported verification methods of security properties.