International Journal of Soft Computing
ISSN: OnlineISSN: Print 1816-9503
Abstract
Phishing is an attack that tricks people into revealing sensitive information. An effective anti-Phishing approach was implemented and evaluated by conducting a controlled lab user experiments. Before the approach is deployed in the real world, this study presents a formal verification for the approach model and shows that unreachability case does not exist. This research has successfully validated the model using SPIN Model checker. The research has also validated the model against two LTL properties and no error was found.
How to cite this article:
Abdullah M. Alnajim and Hazim S. AlRawashdeh. Verifying an Anti-Phishing Model Using Formal Methods.
DOI: https://doi.org/10.36478/ijscomp.2016.76.82
URL: https://www.makhillpublications.co/view-article/1816-9503/ijscomp.2016.76.82