TY  - JOUR
T1  - Verifying an Anti-Phishing Model Using Formal Methods
AU - M. Alnajim, Abdullah AU - S. AlRawashdeh, Hazim 
JO  - International Journal of Soft Computing
VL  - 11
IS  - 2
SP  - 76
EP  - 82
PY  - 2016
DA  - 2001/08/19
SN  - 1816-9503
DO  - ijscomp.2016.76.82
UR  - https://makhillpublications.co/view-article.php?doi=ijscomp.2016.76.82
KW  - Phishing
KW  -fraud
KW  -internet
KW  -model checking
KW  -formal methods
KW  -networking
KW  -security
AB  - 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.
ER  -