Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief