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)
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)
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)
  • 1