Fairness analysis of e-commerce protocols based on strand spaces

@article{Liu2013FairnessAO,
  title={Fairness analysis of e-commerce protocols based on strand spaces},
  author={Yichun Liu},
  journal={IJGUC},
  year={2013},
  volume={4},
  pages={128-133}
}
Strand space logic is a formal method for analysing the security protocol. The electronic commerce protocols are of more complex structures, for example, branch structures, or a protocol is composite of multiple sub-protocols, so the analysis of electronic commerce protocols is far more complex than the analysis of authentication protocols. Fairness is a… CONTINUE READING