Adjusted automata learning algorithm for security protocol adaptive model checking

作者：Yang Jing; Fan Dan; Zhang Yu Qing

来源：Journal on Communications, 2015, 36: 2015308.

DOI：10.11959/j.issn.1000-436x.2015308

• Adaptive modeling
• Attack methods
• Inexperienced teacher
• Security protocols
• State-space explosion
• Symbolic automata

Modifications and improvements for adjusted automata learning algorithms, which were enabled by recent developments. Adjusted automata learning algorithm La* is correct and efficient. It will be helpful to improve adaptive model checking efficiency, reduce the cost, solve state space explosion problem and resist many kinds of attack methods for security protocols.

• 出版日期2015-11-1
• 单位信息安全国家重点实验室; 中国科学院大学; 西安电子科技大学; 综合业务网理论及关键技术国家重点实验室