Detecting collusion attacks in security protocols

Authors:
Qingfeng Chen;Yi-Ping Phoebe Chen;Shichao Zhang;Chengqi Zhang
Affiliations:
School of Information Technology, Deakin University, Melbourne, VIC, Australia;School of Information Technology, Deakin University, Melbourne, VIC, Australia;Faculty of Information Technology, University of Technology Sydney, Broadway, NSW, Australia;Faculty of Information Technology, University of Technology Sydney, Broadway, NSW, Australia
Venue:
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Year:
2006

A logic of authentication

ACM Transactions on Computer Systems (TOCS)
Timestamps in key distribution protocols

Communications of the ACM
PROLOG Programming for Artificial Intelligence

PROLOG Programming for Artificial Intelligence
ENDL: A Logical Framework for Verifying Secure Transaction Protocols

Knowledge and Information Systems
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
Collusion-secure fingerprinting for digital data

IEEE Transactions on Information Theory

Rule-based dependency models for security protocol analysis

Integrated Computer-Aided Engineering
Identifying dependency between secure messages for protocol analysis

KSEM'07 Proceedings of the 2nd international conference on Knowledge science, engineering and management

Hi-index	0.00