有限自动机公钥密码的研究与实现
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 绪论 | 第8-12页 |
| ·公钥密码学基本理论 | 第8-9页 |
| ·有限自动机公钥密码的研究 | 第9-11页 |
| ·本文研究内容与结构 | 第11-12页 |
| 第2章 有限自动机可逆性理论 | 第12-16页 |
| ·基本概念 | 第12-13页 |
| ·复合有限自动机 | 第13页 |
| ·有限自动机的可逆性 | 第13-14页 |
| ·R_aR_b变换 | 第14-16页 |
| 第3章 有限自动机公钥密码体制 | 第16-27页 |
| ·FAPKC0 | 第16-18页 |
| ·FAPKC0的密钥生成 | 第16-17页 |
| ·FAPKC0的加解密 | 第17-18页 |
| ·FAPKC0的签名 | 第18页 |
| ·FAPKC1与FAPKC2 | 第18-24页 |
| ·FAPKC1 | 第19页 |
| ·FAPKC2与基于身份的密码体制 | 第19-24页 |
| ·FAPKC3及其变型 | 第24-27页 |
| ·FAPKC3的密钥生成 | 第24-25页 |
| ·FAPKC3的加解密 | 第25页 |
| ·FAPKC3的签名 | 第25-26页 |
| ·FAPKC4简介 | 第26-27页 |
| 第4章 FAPKC的密码分析 | 第27-36页 |
| ·FAPKC0及其变型的破译 | 第27-30页 |
| ·PAL_1攻击 | 第27-28页 |
| ·AτM及AτM~+攻击 | 第28-30页 |
| ·FAPKC3的密码分析 | 第30-36页 |
| ·约化梯阵方法 | 第30-33页 |
| ·非线性核攻击 | 第33-35页 |
| ·线性R_aR_b攻击与线性R_aR_b变换筛 | 第35-36页 |
| 第5章 FAPKC3的搜索攻击分析与改进算法 | 第36-47页 |
| ·FAPKC3的搜索攻击分析 | 第36-41页 |
| ·符号与一些结果 | 第36-38页 |
| ·随机搜索算法及讨论 | 第38-41页 |
| ·改进的密钥生成算法 | 第41-43页 |
| ·"上三角矩阵"算法 | 第41-42页 |
| ·非线性算子的构造 | 第42-43页 |
| ·算法的安全性讨论 | 第43页 |
| ·算法的软件实现 | 第43-47页 |
| 总结与展望 | 第47-49页 |
| 全文总结 | 第47页 |
| 进一步的工作 | 第47-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-54页 |
| 附录:算法实现部分源代码 | 第54-67页 |
| 攻读硕士学位期间发表的论文 | 第67页 |
