The verification of an industrial payment protocol: the SET purchase phase