改进的安全协议自适应分析算法

发布时间：2018-04-27 16:33

本文选题：安全协议 + 自适应模型检测　；参考：《通信学报》2015年S1期

【摘要】：提出一种改进的安全协议自适应分析算法,即修正学习算法La*,解决部分教师缺乏经验的问题,并将字符集扩展为大字符集。对提出的修正学习算法,进行了正确性证明和复杂度分析。该修正学习算法将有助于提高安全协议自适应模型检测的效率、降低分析和设计成本、缓解状态空间爆炸并增强协议本身对环境和各种攻击手段的防御能力。
[Abstract]:An improved adaptive analysis algorithm for security protocols is proposed, that is, the modified learning algorithm Laan, which solves the problem of lack of experience of some teachers, and extends the character set to a large character set. The correctness of the proposed modified learning algorithm is proved and the complexity is analyzed. The modified learning algorithm will help to improve the efficiency of adaptive model detection of security protocols, reduce the cost of analysis and design, mitigate the explosion of state space and enhance the defense ability of the protocol to environment and various attack methods.
【作者单位】：西安电子科技大学综合业务网理论及关键技术国家重点实验室;中国科学院大学国家计算机网络入侵防范中心;中国科学院信息工程研究所信息安全国家重点实验室;
【基金】：核高基1-4“开源操作系统内核分析和安全性评估”基金资助项目(2012ZX01039-004-65) 信息安全国家重点实验室开放基金资助项目(2014-12)~~
【分类号】：TP393.08;TP301.6

【参考文献】