Identifying dependency between secure messages for protocol analysis

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

Volumn 4798 LNAI, Issue , 2007, Pages 30-38

  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

BAYESIAN NETWORKS; IDENTIFICATION (CONTROL SYSTEMS); INFORMATION ANALYSIS; SECURITY OF DATA;

PROTOCOL ANALYSIS; SECURITY PROTOCOL;

ELECTRONIC COMMERCE;

EID: 38149000259     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76719-0_7     Document Type: Conference Paper

References (10)

1. Ettinger, J.E.: Information security. Chapman & Hall, Sydney (1993)
2. Meadows, C.: Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE Journal on Selected Areas in Communications 21(1), 44-54 (2003)
3. Abadi, M.: Secret by typing in security protocols. Journal of the ACM 46(5), 749-786 (1999)
4. Du, W., Deng, J., Han, Y., Varshney, P., Katz, J., Khalili, A.: A pairwise key predistribution scheme for wireless sensor networks. ACM Transactions on Information and System Security 8(2), 228-258 (2005)
5. Boneh, D., Shaw, J.: Collusion-secure fingerprinting for digital data. IEEE Transactions on Information Theory 44(5), 1897-1905 (1998)
6. Celik, M.U., Sharma, G., Tekalp, A.M.: Collusion-resilient fingerprinting using random pre-warping. In: Proceeding of IEEE International Conference of Image Processing, pp. 509-512 (2003)
7. Richard, E.N: Learning Bayesian networks. Prentice Hall, Englewood Cliffs (2004)
8. http://b-course.cs.helsinki.fi/obc/
9. http://www.deakin.edu.au/qifengch/ksem/dependence.doc
10. Chen, Q., Chen, Y., Zhang, S., Zhang, C.Q.: Detecting Collusion Attacks in Security Protocols. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol. 3841, pp. 297-306. Springer, Heidelberg (2006)