Process Calculi and the Verification of Security Protocols