book-chapter · 2009Formal Analysis of Fairness in E-Payment Protocol Based on Strand Space3 citationsDOI: https://doi.org/10.1007/978-3-642-05250-7_49