Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model