Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols
scientific article; zbMATH DE number 2117388