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