A Formal Logic for the Verification of Hybrid Security Protocols and its Appliation Breadcrumbs UL Home Research Publications Year of Publication 2003