声明
摘要
第一章引论
§1．1研究背景
§1．2本文主要研究成果
§1．3论文结构
第二章差分路线求解的SMT模型的介绍
§2．1 SMT模型与STP求解器简介
§2．2分组密码算法基本组件的差分-概率传播模型
§2．2．1线性层的模型设计
§2．2．2非线性层的差分传播概率模型
§2．3差分概率的轮独立性假设
第三章流程图算法输入与自动化解析
§3．1算法输入的过程
§3．2流程图工具及其修改
§3．3状态变量的抽象与声明
§3．4操作模型的自动化建立
§3．5总概率的累加和长度计算
§3．6模型建立过程总结
第四章实际操作与结果展示
§4．1 AES算法简介及图形化输入
§4．2Speck算法及其图形化输入
§4．3搜索结果展示
第五章总结与展望
参考文献
致谢
附录
