Security of generic composition