A semantic model for authentication protocols | IEEE Conference Publication | IEEE Xplore