Security and composition of multiparty cryptographic protocols
scientific article; zbMATH DE number 1442062