DocumentCode
2232194
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
Volume
6
fYear
2001
fDate
2001
Firstpage
124
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Info-tech and Info-net, 2001. Proceedings. ICII 2001 - Beijing. 2001 International Conferences on
Print_ISBN
0-7803-7010-4
Type
conf
DOI
10.1109/ICII.2001.983016
Filename
983016
Link To Document