Improvement of BW Multi-party Contract Signing Protocol: Model and Formal Analysis