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 128
- Downloads 0
ENHANCING THE DATA SECURITY OF SIMPLE COLUMNAR TRANSPOSITION CIPHER BY CAESAR CIPHER AND RAIL FENCE CIPHER TECHNIQUE.
Cryptography is an art and science of converting original message into no readable form. There are two techniques for converting data into no readable form. Transposition technique ,Substitution technique. In recent year...
A NOVEL APPROACH TO FIND THE ALTERNATIVE PATH FOR ROUTE MAINTENANCE IN AODV
Mobile Ad-hoc Network (MANET) is a Network, which permits the mobile nodes to commune in lack of a permanent Infrastructure. Nodes in MANET communicate via wireless multi hop links. MANET provides a good platform for any...
Survey on Traffic Redundancy and Elimination Approach for Reducing Cloud Bandwidth and Costs
Cloud computing is a fast growing field which is arguably a new computing paradigm. In cloud computing, computing resources are provided as services over the internet and users can access resources on based on their paym...
Civilizing the Network Lifetime Efficiently in MANETs Through DEL-CMAC Protocol
MANET (Mobile Ad-Hoc Network) has a dynamic topology. Due to the mobility of nodes in the network of cooperative communication is a technique for archived greater efficiency of transmission. In this paper the Network Lif...
A Dymamic Service Composition on Social Networks
In today’s world, web services are highly essential as they are required for accomplishing tasks in a matter of second. Web services provide features such as e-Booking, e-Shopping, e-Banking that helps users to acquire e...