A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems