Security properties: two agents are sufficient
scientific article; zbMATH DE number 2117390