An optimistic fair exchange protocol and its security in the universal composability framework