Analysis of the SET e-commerce protocol using a true concurrency process algebra

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2006, Pages 879-886

  Ruiz, M Carmen ^a   Cazorla, Diego ^a   Cuartero, Fernando ^a   Pardo, Juan J ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Formal specification; Heterogeneous shared resources; Performance evaluation; Process algebra; SET protocol

Indexed keywords

ALGEBRA; ELECTRONIC COMMERCE; RESOURCE ALLOCATION; SMART CARDS;

FORMAL SPECIFICATION; HETEROGENEOUS SHARED RESOURCES; PERFORMANCE EVALUATION; PROCESS ALGEBRA; SET PROTOCOL;

NETWORK PROTOCOLS;

EID: 33751066171     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141480     Document Type: Conference Paper

References (22)

1. G. Bella, F. Massacci, and L.C. Paulson. The verification of an industrial payment protocol: The SET purchase phase. In Proceedings of 9th ACM Conference on Computer and Communications Security, pages 12-20, 2002.
2. G. Bella, F. Massacci, and L.C. Paulson. Verifying the SET registration protocols. In Proceedings of IEEE J. of Selected Areas in Communications, pages 21(1):77-87, 2003.
3. P. Brémond-Grégoire and I. Lee. A process algebra of communicating shared resources with dense time and priorities. In Theoretical Computer Science 189, pages 179-219, 1997.
4. Mikael Buchholtz, Jacob Andersen, and Hans Henrik Løvengreen. Towards a Process Algebra for Shared Processors. Electronic Notes in Theoretical Computer Science, 52, 2002.
5. G. Costa and C. Stirling. Weak and strong fairness in CCS. Information and Computation, 73:207-244, 1987.
6. F. Cuartero, D. de Frutos, and V. Valero. A sound and complete proof system for probabilistic processes. In ARTS'96, LNCS 1231, 1997.
7. A.O. Freier, P. Karlton, and P.C. Kocher. The SSL protocol v3.0. Internet Draft, 1996.
8. A. Giacalone, C.-C. Jou, and S.A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proceedings of Working Conference on Programming Concepts and Methods, IFIP TC 2, Sea of Galilee, Israel, 1990.
9. Damas P. Gruska. Process Algebra for Limited Parallelism. In Proc. of Concurrency, Specification and Programming (CS&P'96), pages 61-74, 1996.
10. Damas P. Gruska. Bounded Concurrency. In In Chlebus, B.S., Czaja, L., eds.: Proc. of 11th International Symposium on Fundamentals of Computation Theory (FCT'97), LNCS 1279, Springer, pages 198-209, 1997.
11. H. Hermanns, U. Herzog, and J-P. Katoen. Process algebra for performance evaluation. Theoretical Computer Science, 274(1-2):43-86, 2002.
12. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996.
13. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
14. I. Lee, P. Brémond-Grégoire, and R. Gerber. A process algebraic approach to the specification and analysis of resource-bound real-time systems, 1994.
15. Mastercard and VISA. SET Secure Electronic Transaction Specification. http://www.setco.org/set_specifications.html, 1997.
16. F. Moller and C. Tofts. A temporal calculus of communicating systems. In CONCUR'90, LNCS 458, pages 401-415, Amsterdam, 1990.
17. M. Núñez, D. de Frutos, and L. Llana. Acceptance trees for probabilistic processes. In CONCUR '95, LNCS 962, pages 249-263, 1995.
18. G.M. Reed and A.W. Roscoe. A timed model for communicating sequential processes. Theoretical Computer Science, 58:249-261, 1988.
19. M.C. Ruiz, D. Cazorla, F. Cuartero, J.J. Pardo, and H. Macia. A bounded true concurrency process algebra for performance evaluation. In Proc. of the 1st European Performance Engineering Workshop (EPEW'04), LNCS 3236, pages 143-155, Toledo, Spain, October 2004. Springer.
20. M.C. Ruiz, D. Cazorla, F. Cuartero, J.J. Pardo, and H. Macia. A formal specification and performance evaluation of the purchase phase in the SET protocol. In Proc. of the 7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (CAVIS'05), pages 10-15, Timisoara, Romania, September 2005.
21. J.J.M.M. Rutten and J.I. Zucker. A semantics approach to fairness. Fundamenta Informaticae, XVI:1-38, 1992.
22. D.H. Steves, C. Edmondson-Yurkanan, and M. Gouda. A protocol for secure transactions. In Proceedings of the Second USENIX Workshop on Electronic Commerce., pages 201-212, 1996.