Modeling of SET protocol based on UML and colored Petri net

被引：0
|
作者：
Yan, ZJ [1 ]
Gan, RC [1 ]
机构：
[1] Beijing Inst Technol, Sch Management & Econ, Beijing 100081, Peoples R China
来源：
2001 INTERNATIONAL CONFERENCES ON INFO-TECH AND INFO-NET PROCEEDINGS, CONFERENCE A-G: INFO-TECH & INFO-NET: A KEY TO BETTER LIFE | 2001年
关键词：
e-commerce; set protocol; CPN; UML; protocol verification;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, the formal specification of SET protocol is given. The use cases and activity diagram of the buying procedure in SET protocol are explained in detail. With the help of the computer tool Design/CPN, the CPN model of SET protocol is proposed. Supported by the corresponding tools, it can be used to verify the correctness and the security properties of SET protocol.
引用
收藏
页码：F124 / F129
页数：6
相关论文
共 50 条
  • [1] Modeling and Evaluating of Net Protocol Based on Timed Colored Petri Net
    Zhu, LianZhang
    Zhang, LeWei
    Li, Qing
    [J]. PROCEEDINGS OF FIRST INTERNATIONAL CONFERENCE OF MODELLING AND SIMULATION, VOL III: MODELLING AND SIMULATION IN ELECTRONICS, COMPUTING, AND BIO-MEDICINE, 2008, : 118 - 122
  • [2] An Attack Modeling Based on Colored Petri Net
    周世杰
    秦志光
    张峰
    刘锦德
    [J]. Journal of Electronic Science and Technology, 2004, (01) : 47 - 52
  • [3] Colored Petri Net based attack modeling
    Zhou, SJ
    Qin, ZQ
    Zhang, F
    Zhang, XF
    Chen, W
    Liu, J
    [J]. ROUGH SETS, FUZZY SETS, DATA MINING, AND GRANULAR COMPUTING, 2003, 2639 : 715 - 718
  • [4] An Improved Modeling Method Based on Colored Petri Net
    Wang Chun-jian
    Liu Yong-zhi
    Xiao Fan
    [J]. 2010 INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT (CCCM2010), VOL III, 2010, : 28 - 30
  • [5] An Improved Modeling Method Based on Colored Petri Net
    Wang Chun-jian
    Liu Yong-zhi
    Xiao Fan
    [J]. INTERNATIONAL CONFERENCE ON APPLIED PHYSICS AND INDUSTRIAL ENGINEERING 2012, PT B, 2012, 24 : 1128 - 1132
  • [6] A Timed Colored Petri-Net Modeling for Precision Time Protocol
    Igorevich, Rustam Rakhimov
    Park, Pusik
    [J]. 2016 INTERNATIONAL CONFERENCE ON INFORMATION SCIENCE AND COMMUNICATIONS TECHNOLOGIES (ICISCT), 2016,
  • [7] Translation UML Activity Diagram into Colored Petri Net with Inscription
    Maneerat, Nattira
    Vatanawood, Wiwat
    [J]. 2016 13TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER SCIENCE AND SOFTWARE ENGINEERING (JCSSE), 2016, : 262 - 267
  • [8] Research of System Modeling and Verification Method Combine with UML Formalization Analysis and Colored Petri Net
    Wei, ShangGuan
    Jian, Wang
    Yan, Wang
    Gou Chen-xi
    [J]. 2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 3, PROCEEDINGS, 2009, : 488 - 491
  • [9] Modeling Software Component Based on Extended Colored Petri Net
    Yu, Yong
    Li, Tong
    Liu, Qing
    Dai, Fei
    [J]. INTELLIGENT COMPUTING AND INFORMATION SCIENCE, PT II, 2011, 135 : 429 - 434
  • [10] Virtual Assembly Operation Modeling Based on Colored Petri Net
    Chen, Peng
    Xia, Pingjun
    Lang, Yuedong
    Yao, Yingxue
    [J]. MACHINING AND ADVANCED MANUFACTURING TECHNOLOGY X, 2010, 431-432 : 237 - 240
12345