Abdullah  M. Alnajim, Hazim  S. AlRawashdeh, 
    Verifying an Anti-Phishing Model Using Formal Methods,
    International Journal of Soft Computing,
    Volume 11,Issue 2,
    2016,
    Pages 76-82,
    ISSN 1816-9503,
    ijscomp.2016.76.82,
    (https://makhillpublications.co/view-article.php?doi=ijscomp.2016.76.82)
    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.
    Keywords: Phishing;fraud;internet;model checking;formal methods;networking;security