Reliability Analysis and Improvement of BAN Logic

doi:10.3969/j.issn.1000-3428.2012.17.031

Computer Engineering ›› 2012, Vol. 38 ›› Issue (17): 110-115.

• Networks and Communications • Previous Articles Next Articles

Reliability Analysis and Improvement of BAN Logic

WANG Zheng-cai, XU Dao-yun, WANG Xiao-feng, TANG Zheng-yi, WEI Li

(College of Computer Science & Information, Guizhou University, Guiyang 550025, China)

Received:2011-10-11 Revised:2011-12-05 Online:2012-09-05 Published:2012-09-03

BAN逻辑的可靠性分析与改进

王正才，许道云，王晓峰，唐郑熠，韦立

(贵州大学计算机科学与信息学院，贵阳 550025)

作者简介:王正才(1977－)，男，博士研究生、CCF会员，主研方向：信息安全，网络安全；许道云，教授、博士生导师；王晓峰、唐郑熠、韦立，博士研究生
基金资助:
国家自然科学基金资助项目(60863005, 61011130038)；贵州大学自然科学青年科研基金资助项目((2009)021)；贵州大学研究生创新基金资助项目(省研理工2010005, 校研理工2011033)

Abstract

Abstract: Because an error condition may be added in BAN logic reasoning process, unsafe protocol can be verified safe. In order to solve the problem, this paper improves the formal description of message. An implicit but essential condition is added in the message-meaning inference rule, so that reliability of verification is enhanced. By defining message units of sending and reasoning, freshness rule is suitable to more kinds of protocols in safety verification.

Key words: BAN logic, security protocol, formalization, informalization, message freshness, reasoning

摘要： BAN逻辑的推理过程中可能引入错误的推理条件，导致不安全的协议被验证为安全的。为解决该问题，对消息的形式化描述方式进行改进，在消息含义推理规则中加上一个隐含但不能被忽略的条件，以增强验证的可靠性，通过对发送和推理的消息单元进行限定，使消息新鲜性判定规则适用于更多类型的协议安全性验证。

关键词: BAN逻辑, 安全协议, 形式化, 非形式化, 消息新鲜性, 推理

CLC Number:

TP309.2

WANG Zheng-Cai, HU Dao-Yun, WANG Xiao-Feng, TANG Zheng-Yi, HUI Li. Reliability Analysis and Improvement of BAN Logic[J]. Computer Engineering, 2012, 38(17): 110-115.

王正才, 许道云, 王晓峰, 唐郑熠, 韦立. BAN逻辑的可靠性分析与改进[J]. 计算机工程, 2012, 38(17): 110-115.

/ Recommend / Download Citations

URL:

https://www.ecice06.com/EN/Y2012/V38/I17/110

References

[1] Menezes A, van Oorschot P, Vanstone S. Handbook of Applied Cryptography[M]. New York, USA: CRC Press, 1996.
[2] Nessett D M. Factors Affecting Distributed System Security[J]. IEEE Transactions on Software Engineering, 1987, SE-13(2): 233-248.
[3] Schneier B. Why Cryptography Is Harder than It Looks[J]. Information Security Bulletin, 1997, 2(2): 31-36.
[4] Dolev D, Yao Chi-Chih. On the Security of Public Key Protocols[J]. IEEE Transactions on Information Theory, 1983, 29(2): 198-208.
[5] Nessett D. A Critique of the Burrows, Abbadi and Needham Logic[J]. Operating Systems Review, 1990, 24(2): 35-38.
[6] Burrows M, Abadi M, Needham R. A Logic of Authentication[J]. ACM Transactions on Computer Systems, 1990, 8(1): 18-36.
[7] Gong Li, Needham R, Yahalom R. Reasoning About Belief in Cryptographic Protocols[C]//Proceedings of IEEE Symposium on Research in Security and Privacy. [S. l.]: IEEE Press, 1990: 234-248.
[8] Cohen M, Dam M. A Completeness Result for BAN Logic[EB/OL]. [2011-06-22]. http://www.access.ee.kth.se/reports/ 2007/13.pdf.
[9] Abdelmajid N T, Hossain M A. Improved Kerberos Security Protocol Evaluation Using Modified BAN Logic[C]//Proc. of the 10th International Conference on Computer and Information Technology. [S. l.]: IEEE Press, 2010: 1610-1615.
[10] 郑东, 王常杰, 王育民. 一种BAN-逻辑的修正[J]. 电子科学学刊, 2000, 22(4): 579-584.
[11] 卿斯汉. 安全协议[M]. 北京: 清华大学出版社, 2005.
[12] 冯彬. 关于BAN 逻辑分析的改进[J]. 中国科学院研究生院学报, 2002, 19(3): 306-310.
[13] Abadi M, Tuttle M. A Semantics for a Logic of Authentication[C]// Proc. of the 10th Annual ACM Symposium on Principles of Distributed Computing. [S. l.]: ACM Press, 1991: 201-216.
[14] Halpern J Y, Pucella R, van Meyden R. Revisiting the Foundations of Authentication Logics[Z]. 2003.
[15] Pucella R. Reasoning About Resource-bounded Knowledge: Theory and Application to Security Protocol Analysis[D]. Ithaca, USA: Cornell University, 2004.
[16] Syverson P F. Towards a Strand Semantics for Authentication Logics[J]. Electronic Notes in Theoretical Computer Science, 1999, 20: 143-157.
[17] 卿斯汉. 密码学与计算机网络安全[M]. 北京: 清华大学出版社, 2001.

Please choose a citation manager

Content to export

Reliability Analysis and Improvement of BAN Logic

BAN逻辑的可靠性分析与改进

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments

[1]	LI Haifeng, LIU Sensen, WANG Huaichao, LI Nansha, ZHANG Yifan. Airport Pavement Underground Disease Detection Algorithm Integrating Association Reasoning [J]. Computer Engineering, 2025, 51(2): 397-406.
[2]	ZHOU Xueyang, FU Qiming, CHEN Jianping, CHEN Yanming, LU You, WANG Yunzhe. Document-Level Relation Extraction Method Based on Evidence and Graph Inference: A Case Study of Medical Relationships [J]. Computer Engineering, 2025, 51(1): 106-117.
[3]	LUO Huankun, GE Yifeng, LIU Shuai. Research Progress of Large Language Models in Mathematical Reasoning [J]. Computer Engineering, 2024, 50(9): 1-17.
[4]	Yedong MAO, Chunhui ZHANG, Jie CHEN. Evolvable Transformer Fault Diagnosis Model Combining Feature Analysis and Machine Learning [J]. Computer Engineering, 2024, 50(8): 379-388.
[5]	Yunshu LIU, Yanming SHEN, Heng QI, Baocai YIN. Multi-hop Knowledge Base Question Answering Model Based on Hierarchical Structure Graph [J]. Computer Engineering, 2024, 50(1): 101-109.
[6]	XIONG Zhongmin, ZENG Qi, LU Peng, WANG Zhenhua, ZHENG Zongsheng. Logical Reasoning Based on Residual Attention Multi-scale Relation Network [J]. Computer Engineering, 2023, 49(6): 227-233,241.
[7]	SONG Huawei, QU Xiaojuan, YANG Xin, WAN Fangjie. Flame and Smoke Detection Based on Improved YOLOv5 [J]. Computer Engineering, 2023, 49(6): 250-256.
[8]	GUO Yiyu, ZHOU Luoyu. Lightweight Design of Safety Helmet Wearing Detection Network Model [J]. Computer Engineering, 2023, 49(4): 312-320.
[9]	WANG Yini, GAO Yongbin, WAN Weibing, YANG Shuqun, GUO Ruyan. Scene Graph Generation Model Combined with External Knowledge Base and Adaptive Reasoning [J]. Computer Engineering, 2022, 48(9): 230-238.
[10]	ZOU Pinrong, XIAO Feng, ZHANG Wenjuan, ZHANG Wanyu, WANG Chenyang. Multi-Module Co-Attention Model for Visual Question Answering [J]. Computer Engineering, 2022, 48(2): 250-260.
[11]	GAO Feng, YAO Guangtao, GU Jinguang. Real-Time Semantic Data Flow Reasoning Based on Improved Multi-Embedding Space [J]. Computer Engineering, 2022, 48(2): 55-64.
[12]	LI Xinbai, WU Xinran, YUE Kun. Open-World Knowledge Graph Completion Based on Bayesian Network [J]. Computer Engineering, 2021, 47(6): 104-114.
[13]	YANG Jinxiang, XIONG Yan, HUANG Wenchao. Research on Optimization of Security Protocol Formal Verification Based on Reinforcement Learning [J]. Computer Engineering, 2021, 47(12): 141-146.
[14]	HUANG Tinghui, DING Yong, LI Sijun. Research on MT6D-based Lightweight Security Protocol for Internet of Things [J]. Computer Engineering, 2020, 46(9): 117-122.
[15]	WANG Haofen, DING Jun, HU Fanghuai, WANG Xin. Survey on Large Scale Enterprise-level Knowledge Graph Practices [J]. Computer Engineering, 2020, 46(7): 1-13.

模态框（Modal）标题

Please choose a citation manager

Content to export

Reliability Analysis and Improvement of BAN Logic

BAN逻辑的可靠性分析与改进

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments