Chen Qingfeng; Yi Ping Chen; Zhang Chengqi; Zhang Shichao
(The Institute of Electrical and Electronic Engineers Inc (IEEE), 2005)
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 ...