DocumentCode
2179766
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
fYear
2005
fDate
38451
Firstpage
119
Lastpage
124
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Data Engineering Issues in E-Commerce, 2005. Proceedings. International Workshop on
Print_ISBN
0-7695-2401-X
Type
conf
DOI
10.1109/DEEC.2005.1
Filename
1517706
Link To Document