Reham Abdellatif Abouhogail

Work place: Electrical Quantities Metrology Dept. National Institute of standards (NIS), Egypt

E-mail: rehlatif@yahoo.com

Website:

Research Interests: Computer Networks, Information Security, Network Security, Information-Theoretic Security

Biography

Dr. Reham Abdellatif Abouhogail is currently working as an associate professor researcher at the National Institute of Standards (NIS), Egypt since 2015. She graduated from Faculty of Engineering Ain Shams University in 2000, she obtained Master degree in electronics and communications from Cairo University in 2004. She obtained Ph.D degree from Faculty of Engineering Ain Shams University in 2009. She has 18 years of experience of research. Her area of research includes design and analysis of security protocols and wireless networks security systems. She has published many research papers in international journals and in international conferences.

Author Articles
A Comparative Analysis of Tools for Testing the Security Protocols

By Reham Abdellatif Abouhogail

DOI: https://doi.org/10.5815/ijitcs.2019.12.03, Pub. Date: 8 Dec. 2019

In this paper, Analysis and comparison of two popular security verification tools namely Automated Validation of Internet Security Protocols and Applications (AVISPA) and Burrows-Abadi-Needham (BAN) logic are presented in terms of the usability, complexity, and other properties of the selected tools. The comparison shows the benefits and the drawbacks for the two tools. As a case study, two previously proposed security protocols, which were tested before by BAN logic only are evaluated and proved using the automated verification tool AVISPA to ensure that these protocols satisfy the other main security measures.

[...] Read more.
Other Articles