提出一种改进的安全协议自适应分析算法,即修正学习算法 L