On the logical verification of key exchange protocols for mobile communications Breadcrumbs UL Home Research Publications Year of Publication 2003 Journal Recent Advances In Communications And Computer Science