Title :
Modeling of SET protocol based on UML and colored Petri net
Author :
Yan, Zhijun ; Gan, Renchu
Author_Institution :
Sch. of Manage. & Econ., Beijing Inst. of Technol., China
Abstract :
In this paper, the formal specification of the SET protocol is given. The use cases and activity diagram of the buying procedure in the SET protocol are explained in detail. With the help of the computer tool Design/CPN, the CPN model of the SET protocol is proposed. Supported by the corresponding tools, it can be used to verify the correctness and the security properties of SET protocol.
Keywords :
Internet; Petri nets; diagrams; electronic commerce; formal specification; graph colouring; protocols; security of data; specification languages; Design/CPN tool; Internet; SET protocol modeling; UML; activity diagram; colored Petri net; e-commerce; formal specification; protocol correctness verification; security properties; use cases; Algebra; Authentication; Business; Electronic commerce; Formal specifications; Information security; Object oriented modeling; Protocols; Safety; Unified modeling language;
Conference_Titel :
Info-tech and Info-net, 2001. Proceedings. ICII 2001 - Beijing. 2001 International Conferences on
Print_ISBN :
0-7803-7010-4
DOI :
10.1109/ICII.2001.983016
