An Evaluation of A Country Based Anti- Phishing Approach Using Formal Methods
Journal Title: International Journal of Computer Science & Engineering Technology - Year 2015, Vol 6, Issue 7
Abstract
Phishing is a fraudulent attack that steals confidential information by mimicking a trustworthy entity in a medium of electronic communication. In this paper, research was conducted to evaluate a proposed country-based model to detect phishing attacks using formal methods. SPIN model checker was used to check the absence of deadlocks as well as reachable states. SPIN showed that the model has no error since it did not report “invalid end state” as there was no deadlock in the model. There was also no error and unexecuted codes since as all processes had “zero” unreached states and the trail number equaled to “zero”. The aim behind using formal verification is to help checking whether the model is feasible and applicable. This helps deploying the approach model in the real world in order to enhance the country-based phishing countermeasures.
Authors and Affiliations
Abdullah M. Alnajim
Keywords
Related Articles
- EP ID EP100741
- DOI -
- Views 131
- Downloads 0
ASPECTS RELATED TO THE SPECIFICATIONS OF SOFTWARE COMPONENTS
Reuse is the major area to be focused in CBSE, where developing the applications can be done by using off the shelf components. In order to reuse a software component the user must understand clearly about the component...
A Mathematical Study of Fuzzy Logic Techniques in Software Engineering Measurements
Estimation models in software engineering are used to predict some important attributes of future entities such as software development effort, software reliability and programmer productivity. Estimation by fuzzy logic...
A KEY MANAGEMENT PROTOCOL FOR HIERACHICAL WIRELESS SENSOR NETWORKS
Wireless sensor networks (WSNs) are deployed in hostile environments in many applications. In order to resist security threats, sensor nodes of WSNs often use pre-shared secret keys to encrypt and exchange confidential d...
Enhancing Security System of Short Message Service for M-Commerce in GSM
Global System for Mobile (GSM) is a second generation cellular standard developed to cater voice services and data delivery using digital modulation. Short Message Service (SMS) is the text communication service componen...
Experimental Analysis Of Flow Through Rotating Combustion Swirler With Zero Degree Inlet and Outlet Angle Of Guide Vane
Swirling jet is used as a means of controlling flames in combustion chamber. Swirl flow offer an interesting field of study for aerospace & mechanical engineers in general and for combustion engineers in particular s...