Verifying authentication protocols with CSP | IEEE Conference Publication | IEEE Xplore