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.
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.Subscribe to receive issue release notifications and newsletters from MECS Press journals