Hussam M. N. Al Hamadi

Learn More
Modern healthcare systems benefit from the phenomenal advances that continue to be made in ICT. These advances have resulted in the development of several technologies that have become fundamental parts of electronic healthcare systems such as wireless body sensor networks (WBSNs). WBSNs integrate wearable and implanted devices with wireless communication(More)
Recording the electrical activity of the heart over a period of time as detected using electrical sensors is referred to as Electrocardiography (ECG). ECG is recorded as a collection of signal waves that has repetitive patterns. These patterns are usually used in the complex diagnosis process through which ECG may indicate certain problems related to the(More)
The use of biomedical sensors, be it attached or embedded inside a human body, to monitor various physiological parameters is increasing at a significant rate due to continued advances in miniaturizations and materials. Testing and verification of the algorithms used in processing the physiological parameters of concern is essential, given the sensitivity(More)
This paper adopts the Distributed Lightweight Kerberos (DLK) protocol, which is a result of enhancing the well-known Kerberos protocol. One of the advantages of the DLK protocol is that it addresses mutual authentication and confidentiality challenges while reducing the required number of messages to securely communicate with multiple service providers. In(More)
This paper presents a formal model for the analysis and verification of a multi-agent system based on the Distributed Lightweight Kerberos (DLK) protocol. Verifying the security protocol exposes security defects and aids in fixing them. The verification process of the DLK protocol uses the ProVerif tool. Based on this tool, the security mechanism of the(More)
Supervisory control and data acquisition (SCADA) are applications that collect data from a system in order to automate the monitoring and controlling of its activities. Several industrial fields such as, electric utilities, water supplies and buildings’ facilities have already adopted SCADA systems to increase the efficiency and reduce cost. However, the IT(More)
The implementation of security protocols within Wireless Body Sensor Network (WBSN) creates chances for more observations in the sake of performance evaluation. The robustness of such protocols can be verified by formalizing its components using different techniques. In addition, simulating the security protocol can provide an insight into several design(More)