Normal Forms and Normalization of Authentication Protocols | IEEE Conference Publication | IEEE Xplore