Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)

Probabilistic Reasoning of Inconsistent Belief in Protocol Analysis

Authors
Qingfeng Chen1, Chengqi Zhang, Yi-Ping Phoebe Chen
1Deakin University
Corresponding Author
Qingfeng Chen
Available Online October 2007.
DOI
https://doi.org/10.2991/iske.2007.170How to use a DOI?
Keywords
Belief, Secure messages, Probability, Inconsistency, Protocol
Abstract

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.

Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
Series
Advances in Intelligent Systems Research
Publication Date
October 2007
ISBN
978-90-78677-04-8
ISSN
1951-6851
DOI
https://doi.org/10.2991/iske.2007.170How to use a DOI?
Copyright
© 2007, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Qingfeng Chen
AU  - Chengqi Zhang
AU  - Yi-Ping Phoebe Chen
PY  - 2007/10
DA  - 2007/10
TI  - Probabilistic Reasoning of Inconsistent Belief in Protocol Analysis
BT  - Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
PB  - Atlantis Press
SP  - 1002
EP  - 1007
SN  - 1951-6851
UR  - https://doi.org/10.2991/iske.2007.170
DO  - https://doi.org/10.2991/iske.2007.170
ID  - Chen2007/10
ER  -