| 本文创新点 | 第1-7页 |
| 摘要 | 第7-8页 |
| ABSTRACT | 第8-10页 |
| 目录 | 第10-13页 |
| 图目录 | 第13-14页 |
| 表目录 | 第14-15页 |
| 第1章 绪论 | 第15-32页 |
| ·选题背景及意义 | 第15-17页 |
| ·选题背景 | 第15-16页 |
| ·选题意义 | 第16-17页 |
| ·DRM与DREL研究现状 | 第17-25页 |
| ·DRM研究现状 | 第17-20页 |
| ·DREL发展的进程与现状 | 第20-23页 |
| ·DREL研究的对象与重点 | 第23-25页 |
| ·研究思路、方法及创新点 | 第25-30页 |
| ·研究思路 | 第25-27页 |
| ·研究方法 | 第27-29页 |
| ·创新点 | 第29-30页 |
| ·论文框架 | 第30-32页 |
| 第2章 DREL的形式化模型及其研究方法 | 第32-45页 |
| ·相关概念 | 第32-33页 |
| ·DREL的相关概念 | 第32页 |
| ·DREL应用领域的有关概念 | 第32-33页 |
| ·DREL的形式化模型 | 第33-40页 |
| ·Gunter模型 | 第33-36页 |
| ·Pucella—Weissman模型 | 第36-38页 |
| ·Contract模型 | 第38-40页 |
| ·DREL的研究方法及工具 | 第40-44页 |
| ·领域工程分析方法 | 第40页 |
| ·形式化方法 | 第40-41页 |
| ·形式化分析工具(OTS/CafeOBJ) | 第41-44页 |
| ·本章小结 | 第44-45页 |
| 第3章 EDREL形式化建模及分析 | 第45-75页 |
| ·数字权限表达的领域工程分析 | 第45-49页 |
| ·数字权限表达实例 | 第45-47页 |
| ·许可证的生命周期分析 | 第47-48页 |
| ·许可证的EFEB分析 | 第48-49页 |
| ·EDREL建模及其形式化描述 | 第49-56页 |
| ·EDREL模型 | 第49-53页 |
| ·EDREL的形式化语法 | 第53-56页 |
| ·EDREL的形式化分析 | 第56-72页 |
| ·基于OTS/CafeOBJ方法的形式化语义 | 第56-65页 |
| ·基于OTS/CafeOBJ方法的时序描述 | 第65-70页 |
| ·基于OTS/CafeOBJ的许可证状态推导 | 第70-72页 |
| ·本章小结 | 第72-75页 |
| 第4章 EDREL模型在电子政务系统文件访问控制中的应用 | 第75-92页 |
| ·电子政务系统的领域工程分析 | 第75-79页 |
| ·电子政务系统中的文件 | 第75-76页 |
| ·电子政务系统中的EFEB分析 | 第76-79页 |
| ·电子政务许可证语言(PGLL)的形式化描述与分析 | 第79-85页 |
| ·电子政务许可证语言(PGLL)的形式化描述 | 第79-82页 |
| ·基于OTS/CafeOBJ的PGLL的形式化分析 | 第82-85页 |
| ·基于PGLL的电子政务系统文件访问控制分析 | 第85-87页 |
| ·电子政务系统文件传送协议的安全性分析 | 第87-91页 |
| ·电子政务系统文件传送协议的形式化描述 | 第87-89页 |
| ·文件传送协议安全性的形式化描述及分析 | 第89-91页 |
| ·本章小结 | 第91-92页 |
| 第5章 EDREL模型在会计信息披露中的应用 | 第92-104页 |
| ·会计信息披露的领域工程分析 | 第92-94页 |
| ·基于XBRL的会计信息披露中的文件流 | 第92-93页 |
| ·会计信息披露中的EFEB分析 | 第93-94页 |
| ·会计数字权限管理描述语言的形式化描述 | 第94-98页 |
| ·会计数字权限管理描述语言(ADRML) | 第94-97页 |
| ·基于OTS/CafeOBJ的ADRML的形式化描述 | 第97-98页 |
| ·ADRML/XBRL框架设计 | 第98-102页 |
| ·ADRML/XBRL体系结构设计 | 第98-100页 |
| ·ADRML解析机制的设计 | 第100-102页 |
| ·本章小结 | 第102-104页 |
| 第6章 总结与展望 | 第104-107页 |
| ·本文工作小结 | 第104-105页 |
| ·工作展望 | 第105-107页 |
| 附录 | 第107-135页 |
| 附录一 许可证实例的ODRL&XrML描述 | 第107-108页 |
| 附录二 EDREL模型的CafeOBJ描述 | 第108-110页 |
| 附录三 基于EDREL模型的CafeOBJ许可证状态推导 | 第110-115页 |
| 附录四 PGLL的CafeOBJ描述 | 第115-130页 |
| 附录五 ADRML的CafeOBJ描述 | 第130-135页 |
| 参考文献 | 第135-140页 |
| 攻博期间发表的文章 | 第140-141页 |
| 致谢 | 第141页 |
