共 50 条
- [1] ANALYZING E-COMMERCE PROTOCOLS [J]. PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ACCOUNTING AND MANAGEMENT INFORMATION SYSTEMS (AMIS 2011), 6TH EDITION, 2011, : 488 - 495
- [3] Formal analysis of e-commerce protocols [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2001, E84D (10) : 1313 - 1323
- [4] Formal analysis of e-commerce protocols [J]. 5TH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2001, : 19 - 28
- [5] Research on E-Commerce Secure Payment Protocols [J]. PROCEEDINGS OF THE 2009 INTERNATIONAL CONFERENCE ON PUBLIC ECONOMICS AND MANAGEMENT (ICPEM 2009), VOL 5: STATISTICS AND METHODOLOGY, 2009, : 430 - 433
- [6] Composition of negotiation protocols for e-commerce applications [J]. 2005 IEEE INTERNATIONAL CONFERENCE ON E-TECHNOLOGY, E-COMMERCE AND E-SERVICE, PROCEEDINGS, 2005, : 418 - 423
- [7] Exploiting automatic analysis of e-commerce protocols [J]. 25TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE, 2001, : 55 - 62
- [8] E-commerce payment protocols: Requirements and analysis [J]. 9TH IEEE COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1996, : 78 - 80
- [9] Two fair payment protocols for e-commerce transaction [J]. RESEARCH AND PRACTICAL ISSUES OF ENTERPRISE INFORMATION SYSTEMS II, VOL 2, 2008, 255 : 1037 - +
- [10] Commitment-based enhancement of e-commerce protocols [J]. IEEE 9TH INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2000, : 278 - 283