Title :
A framework for merging inconsistent beliefs in security protocol analysis
Author :
Chen, Qingfeng ; Chen, Yi-Ping Phoebe ; Zhang, Chengqi ; Zhang, Shichao
Author_Institution :
Sch. of Inf. Technol., Deakin Univ., Geelong, Vic., Australia
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.
Keywords :
belief maintenance; electronic commerce; inference mechanisms; knowledge management; message authentication; protocols; e-commerce; inconsistent beliefs merging; message authentication; secure message; security protocol analysis; Australia; Authentication; Communication channels; Information analysis; Information security; Information technology; Merging; Protocols; Road transportation; Uncertainty;
Conference_Titel :
Data Engineering Issues in E-Commerce, 2005. Proceedings. International Workshop on
Print_ISBN :
0-7695-2401-X
DOI :
10.1109/DEEC.2005.1
