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 110
- Downloads 0
An Effective Approach for Web Document Classification using FP-Growth and Naïve Bayes Techniques
Exponential growth of the web increased the importance of web documents classification and data mining. To get the exact information, in the form of knowing what classes a web document belongs to, is expensive. Automatic...
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...
Compact Wide Band Microstrip Line Feed Microstrip Patch Antenna for Wireless Application
This paper presents the increase in bandwidth of a Microstrip Antenna using a simple slotted structure fed by Microstrip line. The main aim of proposed work is to obtain a large bandwidth antenna with reduced size. The p...
Enhancement in Predictive Model for Insurance Underwriting
Underwriting is the most important process of a business where a slight miscue can lead to blunders. An insurance organization’s success depends upon the correct assessment of the possible risks associated with each appl...
Wavelet Based Normal and Abnormal Heart Sound Identification using Spectrogram Analysis
The present work proposes a computer-aided normal and abnormal heart sound identification based on Discrete Wavelet Transform (DWT), it being useful for tele-diagnosis of heart diseases. Due to the presence of Cumulative...