Skicka posten per e-post: Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol