Email Record: Composition of secure multi-party protocols :