A verification model for electronic transaction protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3007, Issue , 2004, Pages 824-833

  Chen, Qingfeng ^a   Zhang, Chengqi ^a   Zhang, Shichao ^a  

^a UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ELECTRONIC TRANSACTION PROTOCOLS; ERROR PRONES; SECURE MESSAGES; TRADITIONAL APPROACHES; VERIFICATION MODEL; VERIFICATION RESULTS;

MODEL CHECKING;

EID: 35048894822     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24655-8_90     Document Type: Article

References (8)

1. Burrows M., Abadi M., Needham R., A logic for Authentication, ACM Transactions on Computer Systems, 8(1), pages 18-36, February 1990.
2. Heintze N., Tygar J., Wing J., and Wong H., Model Checking Electronic Commerce Protocols, Proceeding of the 2nd USENIX Workshop on Electronic Commerce, November, 1996.
3. Lowe G., Breaking and fixing the Needham-Schroeder public-key protocol using FDR, In Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAs'96, page 147-166, March 1996.
4. Qingfeng Chen, Chengqi Zhang and Shichao Zhang, ENDL: A Logical Framework for Verifying Secure Transaction Protocols, Knowledge and Information Systems, an International Journal by Springer, accepted.
5. Hunter A., Measuring inconsistency in knowledge via quasi-classical models, Proceedings of the 18th National Conference on Artificial Intelligence (AAAI'2002), pages 68-73, MIT Press.
6. SET Secure Electronic Transaction Specification, Book 1: Business Description, Version 1.0, May 31, 1997.
7. Needham R. and Schroeder M., Using Encryption for Authentication in Large Networks of Computers. Comm. of the ACM, 21(12), pages 993-999, Dec 1978.
8. Denning D., Sacco G., Timestamp in Key Distribution Protocols, Communications of ACM 24(8):533-536, August 1981.