Specification of a Secured Multi-Server MMS Protocol. - Y. Dakroury; Jean-Pierre Elloy; R. Ricordel (ICDCS, 1995)