Rule-based dependency models for security protocol analysis

Integrated Computer-Aided Engineering

Volumn 15, Issue 4, 2008, Pages 369-380

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

^a DEAKIN UNIVERSITY   (Australia)

^b UNIVERSITY OF TECHNOLOGY SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS;

COLLUSION ATTACK; CRITICAL ISSUES; DEPENDENCY MODEL; INCONSISTENT DATA; NUMERICAL ESTIMATION; PROTOCOL ANALYSIS; SECURE MESSAGES; SECURITY PROTOCOL ANALYSIS;

NETWORK SECURITY;

EID: 50249147298     PISSN: 10692509     EISSN: None     Source Type: Journal    
DOI: 10.3233/ica-2008-15407     Document Type: Conference Paper

References (27)

1. M. Abadi, Secret by typing in security protocols, Journal of the ACM 46(5) (1999), 749-786.
2. R. Agrawal, T. Imielinshki and A.Swami, Mining Association Rules between Sets of Items in Large Databases. Proceeding of ACM-SIGMOD International Conference on Management of Data, 1993, 207-216.
3. R. Agrawal and R. Srikant, Privacy-Preserving Data Mining, Proceeding of the ACM SIGMOD Conference on Management of Data, 2000, 439-450.
4. G. Alex and G. Ehud, Privacy preserving Data Mining Algorithms without the use of Secure Computation or Perturbation. Proceedings of the 10th International Database Engineering and Applications Symposium, IEEE Computer Society, 2006, 121-128.
5. D. Boneh and J. Shaw, Collusion-secure fingerprinting for digital data, IEEE Transactions on Information Theory 44(5) (1998), 1897-1905.
6. M. Burrows, M. Abadi and R. Needham, A logic for Authentication, ACM Transactions on Computer Systems 8(1) (1990), 18-36.
7. M.U. Celik, G. Sharma and A.M. Tekalp, Collusion-resilient fingerprinting using random pre-warping, Proceeding of IEEE International Conference of Image Processing, 2003, 509-512.
8. Q.F. Chen and Y.Y.P. Chen, Analyzing Security Protocols Using Association Rule Mining. Proceeding of Australian Conference on Artificial Intelligence 2005, LNCS 3809, Springer, 2005, 245-253.
9. Q.F. Chen, Y.P.P. Chen, S.C. Zhang and C.Q. Zhang, Detecting Collusion Attacks in Security Protocols, Proceeding of 8th Asia-Pacific Web Conference, LNCS 3841, Springer-Verlag, 2006, 297-306.
10. Q.F. Chen, C.Q. Zhang and S.C. Zhang, ENDL: A Logical Framework for Verifying Secure Transaction Protocols, Knowledge and Information Systems 7(1) (2006), 84-109.
11. D. Dolev and A. Yao, On the Security of Public Key Protocols, IEEE Transaction on Information Theory 29(2) (1983), 198-208.
12. W. Du, J. Deng, Y. Han, P. Varshney, J. Katz and A. Khalili, A pairwise key predistribution scheme for wireless sensor networks, ACM Transactions on Information and System Security 8(2) (2005), 228-258.
13. J.E. Ettinger, Information Security, Chapman & Hall, 1993.
14. S. Gritzalis, Security Protocols over open networks and distributed systems: Formal methods for their Analysis, Design, and Verification, Computer Communications 22(8) (1999), 695-707.
15. N. Heintze, J. Tygar, J. Wing and H. Wong, Model Checking Electronic Commerce Protocols, Proceedings of the 2nd USENIX Workshop on Electronic Commerce, 1996.
16. http://b-course.cs.helsinki.fi/obc/.
17. http://www.deakin.edu.au/̃qifengch/ksem/dependence.doc.
18. W.K. Lee, S. Stolfo and K. Mok, Mining Audit Data to Build Intrusion Detection Models, Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining (KDD'98), 1998, 66-72.
19. P. Liberatore and M. Schaerf, Arbitration (or How to Merge Knowledge Bases), IEEE Transaction on Knowledge and Data Engineering 10(1) (1998), 76-90.
20. J. Lin and A.O. Mendelzon, Knowledge base merging by majority, In Dynamic Worlds: From the Frame Problem to Knowledge Management, Kluwer, 1999.
21. G. Lowe, Breaking and fixing the Needham-Schroeder public-key protocol using FDR, In Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol 1055, Springer, 1996, 147-166.
22. A. Martínez-Ballesté, F. Sebé, J. Domingo-Ferrer and M. Soriano, Practical Asymmetric Fingerprinting with a TTP, Proceedings of the 14th International Workshop on Database and Expert Systems Applications, 2003, 352-357.
23. C. Meadows, Formal methods for cryptographic protocol analysis: emerging issues and trends, IEEE Journal on Selected Areas in Communications 21(1) (2003), 44-54.
24. E.N. Richard, Learning Bayesian Networks, Prentice Hall, 2004.
25. Q.F. Chen, S. Zhang and Y.P.P. Chen, Identifying Dependency between Secure Messages for Protocol Analysis, Lecture Notes in Artificial Intelligence 4798 (2007), 30-38.
26. SET Secure Electronic Transaction Specification, Book 3: Formal Protocol Definition, Version 1.0, May 31, 1997.
27. C.Q. Zhang and S.C. Zhang,Association Rule Mining: Models and Algorithms, LNAI 2307, Springer, 2002.