Analyzing security protocols using association rule mining

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

Volumn 3809 LNAI, Issue , 2005, Pages 245-253

  Chen, Qingfeng ^a   Chen, Yi Ping Phoebe ^a  

^a DEAKIN UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; CORRELATION METHODS; DATA MINING; NETWORK PROTOCOLS;

ASSOCIATION RULE MINING; AUTHENTICATION GOALS; SECURE MESSAGES; SECURITY PROTOCOLS;

SECURITY OF DATA;

EID: 33745614656     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11589990_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. 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.
3. Chengqi Zhang and Shichao Zhang., Association Rule Mining: Models and Algorithms, LNAI 2307, Springer-Verlag, Germany 2002.
4. Agrawal R., Imielinski T., and Swami A., Database mining: A performance perspective. IEEE Transaction. Knowledge and Data Eng, 5(6), pp 914-925, 1993.
5. Han J., Pei J. and Yin Y., Mining frequent patterns without candidate generation, Proceedings of the ACM SIGMOD International Conference on Management of Data, pp 1-12, 2000.
6. Denning D., Sacco G., Timestamp in Key Distribution Protocols, Communications of ACM 24(8), pp 533-536, August 1981.
7. Needham R., and Schroeder M., Using Encryption for Authentication in Large Networks of Computers. Comm. of the ACM, 21(12), pp 993-999, Dec 1978.
8. Dolev D., Yao A., On the Security of Public Key Protocols, IEEE Transaction on Information Theory, 29(2), pp 198-208, 1983.
9. SET Secure Electronic Transaction Specification: A Programmer's Guide, http://www.setco.org/.