Generic Verification of Security Protocols. - Abdul Sahid Khan; Madhavan Mukund; S. P. Suresh (SPIN, 2005)