Deakin home > Deakin University Library > Deakin Research Online > Probabilistic reasoning of inconsistent belief in protocol analysis

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.

Document type: Conference Paper
Collection: School of Engineering and Information Technology
Attached Files (Some files may be inaccessible until you login with your Deakin Research Online credentials)
Name Description MIMEType Size Downloads

Title Probabilistic reasoning of inconsistent belief in protocol analysis
Author(s) Chen, Qingfeng
Zhang, Chengqi
Chen, Yi-Ping Phoebe
Conference name International Conference on Intelligent Systems and Knowledge Engineering (2007: Chengdu, China)
Conference location Chengdu, China
Conference dates 15-16 Oct. 2007
Title of proceedings ISKE 2007 Proceedings of the International Conference on Intelligent Systems and Knowledge Engineering
Editor(s) Li, Tianrui
Xu, Yang
Ruan, Da
Publication date 2007
Conference series Intelligent Systems and Knowledge Engineering Conference
Start page 1275
End page 1280
Publisher Atlantis Press
Place of publication Paris, France
Keyword(s) belief
secure message
probability
inconsistency
protocol
Summary 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.
Notes 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).
ISBN 9789078677048
907867704X
Language eng
Field of Research 080199 Artificial Intelligence and Image Processing not elsewhere classified
HERDC Research category E1 Full written paper - refereed
Copyright notice ©2007, Atlantis Press
Persistent URL http://hdl.handle.net/10536/DRO/DU:30008075
Connect to link resolver
 
Unless expressly stated otherwise, the copyright for items in Deakin Research Online is owned by the author, with all rights reserved.
Versions
Version Filter Type
Access Statistics: 361 Abstract Views, 36 File Downloads  -  Detailed Statistics
Created: Mon, 29 Sep 2008, 09:04:15 EST