修正学习算法La*属于改进的安全协议自适应分析算法,它能够避免教师经验不足,并实现字符集扩展。立足于正确性和复杂度方面,对修正学习算法进行分析和证明,其为安全协议自适应模型检测提供助力,实现成本控制,有效缓解状态空间爆炸,使协议对环境和各种攻击方法极具防御性。 Modified Learning Algorithm La * is an improved security protocol adaptive analysis algorithm, which can avoid the lack of experience of teachers and achieve character set expansion. Based on the correctness and complexity, the modified learning algorithm is analyzed and proved, which provides assistance for the detection of adaptive protocol in security protocol, realizes the cost control, effectively alleviates the explosion in the state space, and makes the protocol very suitable for the environment and various attack methods Defensive.