Vitalsource Technologies, Inc. Composition Of Secure Multi-party Protocols