Security verification of the return routability protocol by Murphi
Wafaa A. H. Ali Alsalihy* and Mohammed I. Younis
1Network Research Group, School of Computer Sciences, Universiti Sains Malaysia, Penang, Malaysia.
2Department of Computer Engineering, College of Engineering, University of Baghdad, Baghdad, Iraq.
Email: [email protected]