Strand Space Model of ISI Payment Protocol and Its Fairness Analysis

• 模型及其公平性分析