Formal Protocol Verification Applied