A formal specification and performance evaluation of the purchase phase in the SET protocol | Publicación