Failure analysis of an e-commerce protocol using model checking

Proceedings - 2nd International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems, WECWIS 2000

Volumn , Issue , 2000, Pages 176-183

  Ray, I ^a,a  

^a Department of Electrical and Computer Engineering   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCE; ELECTRONIC COMMERCE; FAILURE ANALYSIS; INFORMATION SYSTEMS; WEBSITES; WORLD WIDE WEB;

COMMUNICATION FAILURE; E-COMMERCE PROTOCOLS; MODEL CHECKER; MONEY ATOMICITIES; RAPID GROWTH;

MODEL CHECKING;

EID: 0001888279     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WECWIS.2000.853873     Document Type: Conference Paper

References (18)

1. D. Bolignano. An Approach to the Formal Verification of Cryptographic Protocols. In Proceedings of the 3rd ACM Conference on Computer and Communications Security, pages 106-118, New Delhi, India, Mar. 1996. ACM Press.
2. D. Bolignano. Towards the Formal Verification of Electronic Commerce Protocols. In Proceedings of the 10th IEEE Computer Security Foundations Workshop, June 1997.
3. B. Cox, J. D. Tygar, and M. Sirbu. NetBill Security and Transaction Protocol. In Proceedings of the 1st USENIX Workshop in Electronic Commerce, pages 77-88, July 1995.
4. A. F. D. Chaum and M. Naor. Untraceable electronic cash. In Advances in Cryptology - Proceedings of CRYPTO, pages 200-212. Springer-Verlag, 1990.
5. S. Dukach. SNPP: A Simple Network Payment Protocol. Technical report, MIT Laboratory for Computer Science, 1992.
6. B. Dutertre and S. Schneider. Using a PVS Embedding of CSP to Verify Authentication Protocols. In Theorem Proving in Higher Order Logics, volume 1275 of Lecture Notes in Computer Science, pages 121-136. Springer-Verlag, 1997.
7. Formal Systems (Europe) Ltd. Failure Divergence Refinement - FDR2 User Manual, version 2.64 edition, Aug. 1999.
8. N. Heintze, J. Tygar, J. Wing, and H. Wong. Model Checking Electronic Commerce Protocols. In Proceedings of the 2nd USENIX Workshop in Electronic Commerce, pages 146-164, Nov. 1996.
9. G. Lowe. Breaking and Fixing the Needham-Schroeder Public-key Protocol Using FDR. In Tools and Algorithms for the Construction and Analysis of Systems: 2nd International Workshop, TACAS 96, pages 147-166, 1996.
10. G. Lowe. Some New Attacks Upon Security Protocols. In Proceedings of the IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 1996.
11. G. Lowe and A. W. Roscoe. Using CSP to detect errors in the TMN protocol. IEEE Transactions on Software Engineering, 23:659-669, 1997.
12. L. C. Paulson. Proving Properties of Security Protocols by Induction. Technical Report TR409-lcp, Computer Laboratory, University of Cambridge, Dec. 1996.
13. I. Ray and I. Ray. Failure Analysis of an E-commerce Protocol using Model Checking. Technical report, University of Michigan-Dearborn, Jan. 2000. available from the URL http://www.engin.umd.umich.edu/~iray.
14. I. Ray, I. Ray, and N. Narasimhamurthy. A Fair-Exchange Protocol with Automated Dispute Resolution. Technical report, University of Michigan-Dearborn, Jan. 2000. available from the URL http://www.engin.umd.umich.edu/~iray.
15. A. W. Roscoe. Proving Security Protocols with Model Checkers by Data Independence Techniques. In Proceedings of the IEEE Computer Security Foundations Workshop. IEEE Computer Society Press, 1998.
16. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, Great Britain, 1998.
17. L. H. Stein, E. A. Stefferud, N. S. Borenstein, and M. T. Rose. The Green Commerce Model. Technical report, First Virtual Holdings Incorporated, 1994.
18. J. D. Tygar. Atomicity in Electronic Commerce. In Proceedings of the 15th Annual ACM Symposium on Principles of Distributed Computing, pages 8-26, May 1996.