Modeling of SET protocol based on UML and colored Petri net

2001 International Conferences on Info-Tech and Info-Net: A Key to Better Life, ICII 2001 - Proceedings

Volumn 6, Issue , 2001, Pages 124-129

  Yan, Zhijun ^a   Gan, Renchu ^a  

^a BEIJING INSTITUTE OF TECHNOLOGY   (China)

Author keywords

CPN; E commerce; Protocol verification; Set protocol; UML

Indexed keywords

EID: 84964528144     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICII.2001.983016     Document Type: Conference Paper

References (10)

1. SET Secure Electronic Transaction Specification Book1: Business Description Version 1.0. 1997,5.
2. Toussaint. A new method for analyzing the security of cryptographic protocols. Journal of Selected Areas in communacation. 1993,6.
3. Burrows, M.Abadi and R.Needham. Alogic of authentication. ACM Transaction on Computer System.1990,8.
4. Li Gong,Roger Needham and Raphad Yahalom, Reasoning about Belief in Cryptograhic Protocols. Proceedings of the 1990 IEEE Computer society Symposium on Research in Security and Privacy. 1990.
5. th IEEE Computer Security Foundations Workshop.1994.
6. G.Booch, J.Rumbaugh, I.Jacobson. The Unified Modeling Language User Guide. 1999
7. G.Jacobson, G.Booch, J.Rumbaugh. The Unified Software Development Process. 1999
8. K.Jensen, Coloured Petri Nets. In Petri Nets: Central Models and Their Properties, Springer Verlag,LNCS, vol.254,1987
9. CPN Group, Design/CPN Performance Tool Manual Version 1.0. Department of Computer Science University of Aarhus DENMARK, 1999.9
10. BaiShuo,Sui Liying,Cheng qingfeng etal. Authentication logic for secure protocols. Journal of Software. 2000,11.