Model Checking the SET Purchasing Process Protocol with SPIN

  title={Model Checking the SET Purchasing Process Protocol with SPIN},
  author={Jing Li and Jinhua Li},
  journal={2009 5th International Conference on Wireless Communications, Networking and Mobile Computing},
  • Jing Li, Jinhua Li
  • Published 2009 in
    2009 5th International Conference on Wireless…
Electronic Commerce is a considerable wide spread business engineering model in the Internet. The analysis of the EC’s security is a hot research topic in the present. The article studies the Secure Electronics Transactions (SET) protocol and uses the model checking tool SPIN to model and to verify the key part of the protocol—purchasing process protocol. We describe the abstract model of the protocol with promela language of SPIN. During the modeling process, we plant some exploits which the… CONTINUE READING


Publications referenced by this paper.
Showing 1-7 of 7 references

Model Checking

  • E. M. Clarke
  • 1st ed., Massachusetts: The MIT Press
  • 1999
1 Excerpt

Security Protocol Verification Using SPIN

  • A. Josang
  • SPIN Workshop, Montreal, Quebec
  • 1995
2 Excerpts

Similar Papers

Loading similar papers…