Three systems for cryptographic protocol analysis
scientific article; zbMATH DE number 614350
scientific article