Formal analysis of e-commerce protocols

被引：0
|
作者：
机构：
[1] Papa, M.
[2] Bremer, O.
[3] Hale, J.
[4] Shenoi, S.
来源：
Papa, M. | 2001年 / Institute of Electronics, Information and Communication, Engineers, IEICE卷 / E84-D期
关键词：
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 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,
  • [4] A formal analysis method based on colored Petri Net for E-commerce protocols
    Si, Y. (siyali2008@126.com), 1600, (08):
  • [5] Protocols for e-commerce
    Aslam, T
    DR DOBBS JOURNAL, 1998, 23 (12): : 52 - +
  • [6] Exploiting automatic analysis of e-commerce protocols
    Wei, J
    Cheung, SC
    Wang, X
    25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 55 - 62
  • [7] E-commerce payment protocols: Requirements and analysis
    Zaba, S
    9TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1996, : 78 - 80
  • [8] A formal approach for obligation analysis of E-commerce
    Yuyue, Du
    Changjun, Jiang
    CHINESE JOURNAL OF ELECTRONICS, 2008, 17 (02): : 200 - 204
  • [9] ANALYZING E-COMMERCE PROTOCOLS
    Timofte, Carmen
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ACCOUNTING AND MANAGEMENT INFORMATION SYSTEMS (AMIS 2011), 6TH EDITION, 2011, : 488 - 495
  • [10] ECDSA protocols for E-commerce
    Vijayarangan, N
    IETE TECHNICAL REVIEW, 2002, 19 (04): : 199 - 201
12345