Analyzing security protocols using association rule mining

Authors:
Qingfeng Chen;Yi-Ping Phoebe Chen
Affiliations:
School of Information Technology, Deakin University, Melbourne, VIC, Australia;School of Information Technology, Deakin University, Melbourne, VIC, Australia
Venue:
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Year:
2005

Citing 7
Cited 1

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
Mining frequent patterns without candidate generation

SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Timestamps in key distribution protocols

Communications of the ACM
Using encryption for authentication in large networks of computers

Communications of the ACM
Database Mining: A Performance Perspective

IEEE Transactions on Knowledge and Data Engineering
Model checking electronic commerce protocols

WOEC'96 Proceedings of the 2nd conference on Proceedings of the Second USENIX Workshop on Electronic Commerce - Volume 2
Association rule mining: models and algorithms

Association rule mining: models and algorithms

Rule-based dependency models for security protocol analysis

Integrated Computer-Aided Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Current studies to analyzing security protocols using formal methods require users to predefine authentication goals. Besides, they are unable to discover potential correlations between secure messages. This research attempts to analyze security protocols using data mining. This is done by extending the idea of association rule mining and converting the verification of protocols into computing the frequency and confidence of inconsistent secure messages. It provides a novel and efficient way to analyze security protocols and find out potential correlations between secure messages. The conducted experiments demonstrate our approaches.