Security analysis of network protocols through model checking: a case study on mobile IPv6. - Zohreh Saffarian Eidgahi; Vahid Rafe (Secur. Commun. Networks, 2016)