Attacking fair-exchange protocols: parallel models vs trace models