A framework for merging inconsistent beliefs in security protocol analysis

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