Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap