Αποστολή με SMS: Composition of Secure Multi-Party Protocols