Decision procedures for the analysis of cryptographic protocols by logics of belief | IEEE Conference Publication | IEEE Xplore