A Framework for Merging Inconsistent Beliefs in Security Protocol Analysis

  • Authors:

  • Qingfeng Chen;Yi-Ping Phoebe Chen;Chengqi Zhang;Shichao Zhang

  • Affiliations:

  • School of Information Technology, Deakin University,VIC, Australia;School of Information Technology, Deakin University,VIC, Australia;Faculty of Information Technology University of Technology Sydney, Australia;Faculty of Information Technology University of Technology Sydney, Australia

  • Venue:
  • DEEC '05 Proceedings of the International Workshop on Data Engineering Issues in E-Commerce
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper proposes a framework for merging inconsistent beliefs in the analysis of security protocols. The merge application is a procedure of computing the inferred beliefs of message sources and resolving the conflicts among the sources. Some security properties of secure messages are used to ensure the correctness of authentication of messages. Several instances are presented, and demonstrate our method is useful in resolving inconsistent beliefs in secure messages.