Verification of Security Protocols using Formal Logics Breadcrumbs UL Home Research Publications Year of Publication 2004