A Framework for Merging Inconsistent Belief in Security Protocol Analysis

Publication Type:
Conference Proceeding
Proceedings of the 2005 International Workshop on Data engineering Issues in E-Commerce, 2005, pp. 119 - 124
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2005003075.pdf199.51 kB
Adobe PDF
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.
Please use this identifier to cite or link to this item:

Not enough data to produce graph