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:
Copyright Clearance Process
- Recently Added
- In Progress
- Closed Access
This item is closed access and not available.
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: