Probabilistic reasoning of inconsistent belief in protocol analysis
Chen, Qingfeng, Zhang, Chengqi and Chen, Yi-Ping Phoebe 2007, Probabilistic reasoning of inconsistent belief in protocol analysis, in ISKE 2007 Proceedings of the International Conference on Intelligent Systems and Knowledge Engineering, Atlantis Press, Paris, France, pp. 1275-1280.
Security protocols have been recently found with subtle flaws due to incomplete or ambiguous specification. Although formal methods have remarkably assisted in protocol analysis, they ignores the effect of hostile/uncertain environment, which might lead to inconsistent belief that can be held by principals in delivered messages. This discrepant belief may prevent us from representing the insecurity and uncertainty in a real trading situation. Unfortunately, the current approaches lack the ability to handle the inconsistent belief. This article presents a probabilistic method, which intuitively measures the belief from different principals that can be put on the goal of the protocol. The experiments demonstrate our method is useful to enhance the protocol analysis.
Atlantis Press adheres to the principles of Creative Commons, meaning that we do not claim copyright of the work we publish. We only ask people using one of our publications to respect the integrity of the work and to refer to the original location, title and author(s).
Field of Research
080199 Artificial Intelligence and Image Processing not elsewhere classified