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 条
  • [1] Formal analysis of e-commerce protocols
    Papa, M
    Bremer, O
    Hale, J
    Shenoi, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2001, E84D (10) : 1313 - 1323
  • [2] Formal analysis of e-commerce protocols
    Papa, M
    Bremer, O
    Hale, J
    Shenoi, S
    5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 19 - 28
  • [3] Formal analysis of e-commerce protocols
    Papa, M., 2001, Institute of Electronics, Information and Communication, Engineers, IEICE (E84-D)
  • [4] The Analysis Methods About Business Process of E-Commerce Based on the Petri Net
    Fang, X.-W. (fangxianwen@hotmail.com), 1600, Springer Verlag (212):
  • [5] Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols
    Zhang, Chengwei
    Li, Xiaohong
    Hu, Jing
    Feng, Zhiyong
    Song, Jiaojiao
    JOURNAL OF APPLIED MATHEMATICS, 2014,
  • [6] A colored Petri net-based formal method for the design of central systems
    Makungu, M
    StDenis, R
    Barbeau, M
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 28 - 35
  • [7] Protocols for e-commerce
    Aslam, T
    DR DOBBS JOURNAL, 1998, 23 (12): : 52 - +
  • [8] Fairness analysis of e-commerce protocols based on strand spaces
    Liu, Yichun
    INTERNATIONAL JOURNAL OF GRID AND UTILITY COMPUTING, 2013, 4 (2-3) : 128 - 133
  • [9] Exploiting automatic analysis of e-commerce protocols
    Wei, J
    Cheung, SC
    Wang, X
    25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 55 - 62
  • [10] Composition and Application of Extended Colored Logic Petri Nets to E-Commerce Systems
    Wang, Zhen
    Luan, Wenjing
    Du, Yuyue
    Qi, Liang
    IEEE ACCESS, 2020, 8 : 36386 - 36397
12345