Authors : Abdullah M. Alnajim and Hazim S. AlRawashdeh
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.
Abdullah M. Alnajim and Hazim S. AlRawashdeh, 2016. Verifying an Anti-Phishing Model Using Formal Methods. International Journal of Soft Computing, 11: 76-82.