Communication space reduction for formal verification of secure authentication protocols | IEEE Conference Publication | IEEE Xplore