Safely composing security protocols
scientific article; zbMATH DE number 5576073