Title: On the composition of security properties