New approach for the analysis of electronic commerce protocols

Ruan Jian Xue Bao/Journal of Software

Volumn 12, Issue 9, 2001, Pages 1318-1328

  Zhou, Dian Cui ^a   Qing, Si Han ^a   Zhou, Zhan Fei ^a  

^a INSTITUTE OF SOFTWARE   (China)

Author keywords

Accountability; Electronic commerce; Fairness; Logical analysis; Protocol

Indexed keywords

COMMUNICATION CHANNELS (INFORMATION THEORY); CRYPTOGRAPHY; LOGIC DESIGN; NETWORK PROTOCOLS; NUMERICAL ANALYSIS; RELIABILITY;

ACCOUNTABILITY; CIPHER TEXT; FAIRNESS; LOGIC ANALYSIS;

ELECTRONIC COMMERCE;

EID: 0035467046     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (7)

1. Accountability in electronic commerce protocols
2. Limitations of Kailar logic
3. Information technology-security techniques Part 1: General model
4. File transfer protocol
5. A fair non-repudiation protocol
6. Netcash: A design of practical electronic currency on the Internet
7. Practical protocols for certified electronic mail