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:
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: