Modeling adversaries in a logic for security protocol analysis
scientific article; zbMATH DE number 6021338