Fadele Ayotunde Alaba, Saqib Hakak, Fawad Ali Khan, Sulaimon Hakeem Adewale, Sri Rahmawati, Tundung Subali Patma, Rajab Ritonga, Tutut Herawan
Model-based testing is one of the promising innovations to meet the difficulties required in program design testing. In model-based testing, a system under test is tried for consistency with a model that portrays the required behavior of the system. In this paper, model-based strategies are utilized for recognizing vulnerabilities as a part of system security conventions and testing for right behavior of e-banking applications in which system security conventions are actualized. The Kerberos V5 network authentication protocol is used in this research to demonstrate customers’ identity to a server (and the other way around) over an uncertain connection. Password-based encryption (PBE) algorithm is used for message exchange between client and Kerberos. © Springer Nature Singapore Pte Ltd. 2018.
Department of Computer Sciences, Federal College of Education, Zaria, Nigeria; Faculty of Computer Science and Information Technology, University Malaya, Kuala Lumpur, Malaysia; Universitas Putra Indonesia YPTK, Padang, Indonesia; State Polytechnic of Malang, East Java, Indonesia; Universitas Prof Dr Moestopo (Beragama), Jakarta, Indonesia; Universitas Teknologi Yogyakarta, Yogyakarta, Indonesia; AMCS Research Center, Yogyakarta, Indonesia