Detecting collusion attacks in security protocols

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

Volumn 3841 LNCS, Issue , 2006, Pages 297-306

  Chen, Qingfeng ^a   Chen, Yi Ping Phoebe ^a   Zhang, Shichao ^b   Zhang, Chengqi ^b  

^a DEAKIN UNIVERSITY   (Australia)

^b UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ELECTRONIC DATA INTERCHANGE; INFORMATION RETRIEVAL; INFORMATION TECHNOLOGY; NETWORK PROTOCOLS; SECURITY OF DATA;

COLLUSION ATTACKS; ELECTRONIC TRANSACTIONS; SECURITY PROTOCOLS; SECURITY THREATS;

COMPUTER NETWORKS;

EID: 33745670893     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11610113_27     Document Type: Conference Paper

References (9)

1. Burrows M., Abadi M., Needham R., "A logic for Authentication", ACM Transactions on Computer Systems, 8(1), pp 18-36, February 1990.
2. Chengqi Zhang, and Shichao Zhang, "Association Rule Mining: Models and Algorithms", LNAI 2307, Springer-Verlag, Germany, 2002.
3. Denning D. and Sacco G., "Timestamp in Key Distribution Protocols", Communications of ACM, 24(8), pp 533-536, August 1981.
4. Qingfeng Chen, Chengqi Zhang and Shichao Zhang, "ENDL: A Logical Framework for Verifying Secure Transaction Protocols", Knowledge and Information Systems, 7(1), pp 84-109, 2005.
5. Heintze N., Tygar J., Wing J., and Wong H., "Model Checking Electronic Commerce Protocols", Proceedings of the 2nd USENIX Workshop on Electronic Commerce, pp 147-164, Oakland, California November, 1996.
6. Boneh D. and Shaw J., "Collusion-secure fingerprinting for digital data" IEEE Transactions on Information Theory, 44(5), pp. 1897-1905, September, 1998.
7. Celik M. U., Sharma G. and Tekalp A. M., "Collusion-resilient fingerprinting using random pre-warping", Proceeding of IEEE International Conference of Image Processing, pp. 509-512, 2003.
8. Bratko I., "Prolog Programming for Artificial Intelligence", Addison-Wesley, 1990.
9. SET Secure Electronic Transaction Specification, Book 1 : Business Description, Version 1.0, May 31, 1997.