An Approach to handle real time and probabilistic behaviors in e-commerce:Validating the SET protocol

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2005, Pages 815-820

  Diaz G ^a   Larsen, K ^b   Pardo, J ^a   Cuartero, F ^a   Valero, V ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

^b AALBORG UNIVERSITY   (Denmark)

Author keywords

Authentication Protocols; E Commerce; Security; System Verification and Model Checking

Indexed keywords

INTERNET; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBABILISTIC LOGICS; SECURITY OF DATA;

AUTHENTICATION PROTOCOLS; SECURITY; SYSTEM VERIFICATION AND MODEL CHECKING;

ELECTRONIC COMMERCE;

EID: 33644537895     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. K. Larsen B. Jonsson and W. Yi. Probabilistic process algebra. E-HPA, chapter 4: Extensions, pages 685-710. 2001.
2. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, Yi Wang, and C. Weise. New Generation of UPPAAL. In Int. Workshop on Software Tools for Technology Transfer, June 1998.
3. D. Bolignano. Towards the formal verification of electronic commerce protocols. In Proc. 10th IEEE Computer Security Foundations Workshop, 1997.
4. P. Broadfoot and G. Lowe. On distributed security transactions that use secure transport protocols, 2003.
5. P. D'Argenio, B., H. Jensen, and K. Larsen. Reduction and refinement strategies for probabilistic analysis. In Process Algebra and Probabilistic Methods - Performance Modelling and Verification, PAPM-PROBMIV 2002, volume 2399 of LNCS, Copenhagen (Denmark), July 2002.
6. P. D'Argenio, B. Jeannet, H. Jensen, and K. Larsen. Reachability analysis of probabilistic systems by successive refinements. In PAPM-PROBM 2001, volume 2165 of LNCS, Aachen (Germany).
7. G. Díaz, D. Cazorla, F. Pelayo, F. Cuartero, and V. Valero. Verifying and capturing probabilistic bechaviours of real-time systems. In 19th Annual UK Performance Engineering Workshop, 2003.
8. G. Díaz, F. Cuartero, V. Valero, and F. L. Pelayo. Automatic verification of the tls handshake protocol. In Proceedings of the 19th ACM Symposium on Applied Computing (SAC 2004), Nicosia (Cyprus).
9. B. Jeannet, P. D'Argenio, and K. Larsen. RAPTURE: A tool for verifying markov decision processes. In Tools Day, International Conference on Concurrency Theory, CONCUR'02, Brno (Czech Republic), August 2002. Technical Report, Faculty of Informatics at Masaryk University Brno.
10. K. Larsen, P. Pettersson, and Wang Yi. UPPAAL in a Nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, October 1997.
11. F. Larsson, K. Larsen, P. Pettersson, and Wang Yi. Efficient Verification of Real-Time Systems: Compact Data Structures and State-Space Reduction. In Proc. of the 18th IEEE Real-Time Systems Symposium, 1997.
12. G. Lowe. Towards a completeness result for model checking of security protocols. In Proc. of The 11th Computer Security Foundations Workshop, 1999.
13. M.L. Puterman. Markov Decision Processes: Discrete Stochastic Dynamic Programming. Willey series in probability and mathematical statistics. Jhon Wiley and Sons, 1994.
14. A. W. Roscoe. Proving security protocols with model checkers by data independence techniques. In Proceedings of the IEEE Computer Security Foundations Workshop, 1998.
15. P. Ryan, S. Schneider, M. Goldsmith, G. Lowe, and B. Roscoe. Modelling and Analysis of Security Protocols. Addison Wesley, 2001.
16. Mastercard & VISA. Set secure electronic transaction specification: Business description, 1997.
17. Mastercard & VISA. Set secure electronic transaction specification: Formal protocol definition, 1997.
18. Mastercard & VISA. Set secure electronic transaction specification: Programmer's guide, 1997.