A survey of symbolic methods in computational analysis of cryptographic systems
scientific article; zbMATH DE number 5903833
scientific article