| 摘要 | 第1-4页 |
| Abstract | 第4-8页 |
| 第一章 绪论 | 第8-14页 |
| ·课题的研究背景及意义 | 第8-9页 |
| ·课题的国内外研究现状 | 第9-10页 |
| ·课题的主要研究内容 | 第10-12页 |
| ·领域专用语言DSL | 第11页 |
| ·脚本语言 | 第11页 |
| ·ANTLR技术 | 第11-12页 |
| ·分组密码算法专用描述语言的设计与实现 | 第12页 |
| ·本文的组织结构 | 第12-14页 |
| 第二章 理论及技术基础 | 第14-20页 |
| ·领域专用语言(DSL) | 第14-16页 |
| ·内部DSL | 第15页 |
| ·外部DSL | 第15-16页 |
| ·脚本语言 | 第16-17页 |
| ·词法、语法生成工具 | 第17-20页 |
| 第三章 ANTLR的工作原理与技术基础 | 第20-34页 |
| ·编译器设计理论 | 第20-22页 |
| ·词法分析 | 第20-21页 |
| ·语法分析 | 第21页 |
| ·语义分析 | 第21页 |
| ·中间代码生成、代码优化和代码生成 | 第21-22页 |
| ·ANTLR的工作原理 | 第22-24页 |
| ·ANTLR的词法分析 | 第22-23页 |
| ·ANLR的语法分析 | 第23页 |
| ·ANTLR的语义分析与中间代码生成 | 第23-24页 |
| ·ANTLR规范：元语言（Meta-Language） | 第24-26页 |
| ·空格（Whitespace） | 第24-25页 |
| ·注释（Comments） | 第25页 |
| ·字符集（Characters） | 第25页 |
| ·动作（action） | 第25页 |
| ·动作参数（action Arguments） | 第25-26页 |
| ·符号（Symbols） | 第26页 |
| ·ANTLR文法文件的编写 | 第26-31页 |
| ·ANTLR文法文件的书写结构 | 第26-28页 |
| ·编写文法文件 | 第28-29页 |
| ·添加语义动作 | 第29-30页 |
| ·错误处理机制 | 第30-31页 |
| ·通过ANTLR实现代码生成 | 第31-34页 |
| ·Antlr运行环境的配置 | 第31-32页 |
| ·ANTLRWorks工具的介绍 | 第32页 |
| ·目标解析代码的生成 | 第32-34页 |
| 第四章 分组密码算法专用描述语言的设计 | 第34-46页 |
| ·语言描述的整体结构 | 第35页 |
| ·关键字 | 第35-36页 |
| ·数据类型 | 第36-37页 |
| ·控制结构 | 第37页 |
| ·系统函数 | 第37-39页 |
| ·密码学基本函数 | 第37-38页 |
| ·密码算法模块函数 | 第38-39页 |
| ·基于BCASDL的DES密码算法描述 | 第39-46页 |
| 第五章 分组密码算法专用描述语言的实现 | 第46-62页 |
| ·程序结构的实现 | 第47-50页 |
| ·文法文件的预设置 | 第47-48页 |
| ·说明部分 | 第48-49页 |
| ·主体部分 | 第49-50页 |
| ·注释部分 | 第50页 |
| ·关键字的实现 | 第50-51页 |
| ·数据类型的实现 | 第51-54页 |
| ·常用符号 | 第51页 |
| ·基本数据 | 第51-52页 |
| ·文件输入 | 第52-53页 |
| ·文件输出 | 第53-54页 |
| ·循环控制结构的实现 | 第54-55页 |
| ·函数的说明 | 第55-57页 |
| ·BCADSL解析器的生成 | 第57-62页 |
| ·控制函数的编写 | 第57页 |
| ·静态库的构建 | 第57-58页 |
| ·生成BCADSL解析器 | 第58-59页 |
| ·密码算法描述的解析 | 第59-62页 |
| 第六章 DES密码算法描述的测试 | 第62-70页 |
| ·DES密码算法描述的词法、语法测试 | 第62-65页 |
| ·DES密码算法描述的语义测试 | 第65-70页 |
| ·P置换、S变换测试 | 第65-66页 |
| ·比特串拆分及衔接 | 第66-67页 |
| ·循环移位测试 | 第67-68页 |
| ·比特串边界测试 | 第68-70页 |
| 第七章 总结与展望 | 第70-72页 |
| ·主要结论 | 第70页 |
| ·后续研究工作的展望 | 第70-72页 |
| 致谢 | 第72-74页 |
| 参考文献 | 第74-78页 |
| 在读期间的研究成果 | 第78-79页 |