A formal analysis method based on colored Petri Net for E-commerce protocols

被引：0
|
作者：
机构：
[1] Si, Yali
来源：
Si, Y. (siyali2008@126.com) | 1600年 / 08期
关键词：
Petri nets;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Analysis of e-commerce protocols: Adapting a traditional technique
    Sigrid Gürgens
    Javier Lopez
    René Peralta
    International Journal of Information Security, 2003, 2 (1) : 21 - 36
  • [22] E-commerce heads for the 'Net
    Etzel, K
    COMMUNICATIONS NEWS, 1997, 34 (11): : 72 - 74
  • [23] Analysis of Formal Methods for Specification of E-Commerce Applications
    Khan, Sadiq Ali
    Jamshed, Huma
    MEHRAN UNIVERSITY RESEARCH JOURNAL OF ENGINEERING AND TECHNOLOGY, 2016, 35 (01) : 19 - 28
  • [24] Commitment-based enhancement of e-commerce protocols
    Yolum, P
    Singh, MP
    IEEE 9TH INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2000, : 278 - 283
  • [25] The Research of Search Engine System in e-Commerce Based on Formal Concept Analysis
    Sun, XiuYing
    ADVANCES IN ELECTRONIC COMMERCE, WEB APPLICATION AND COMMUNICATION, VOL 2, 2012, 149 : 441 - 444
  • [26] Analysis and Application of Logical Petri Nets to E-Commerce Systems
    Du, YuYue
    Qi, Liang
    Zhou, MengChu
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (04): : 468 - 481
  • [27] Formal Verification of Blockchain Smart Contract based on Colored Petri Net Models
    Liu, Zhentian
    Liu, Jing
    2019 IEEE 43RD ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 2, 2019, : 555 - 560
  • [28] Construct the Net Auditing Architecture Based on E-commerce
    Bo, Shen
    2009 INTERNATIONAL CONFERENCE ON E-BUSINESS AND INFORMATION SYSTEM SECURITY, VOLS 1 AND 2, 2009, : 855 - 858
  • [29] Modeling E-Commerce Workflow Using Mobile-Agent-oriented Petri Net
    Gan, Zaobin
    Yang, Xiao
    PROCEEDINGS OF THE 2009 FIFTH INTERNATIONAL CONFERENCE ON NEXT GENERATION WEB SERVICES PRACTICES, NWESP 2009, 2009, : 102 - 107
  • [30] Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool
    Feng, Tao
    Chen, Taining
    Gong, Xiang
    INFORMATION, 2024, 15 (02)
12345