数字权限的表达既是数字版权管理(DRM:Digital Right Management)研究的出发点,又是DRM中最为核心同时也是最为复杂的问题,它涉及到各个利益主体之间权利义务的平衡及各方利益的精确表达和利益博弈。本文针对该主题,为解决DRM中权限的清晰、精确表达这一关键问题,提出了一种可扩展的数字权限表达语言(EDREL: Extended Digital Right Expression Language)模型,并利用领域工程、软件工程中自上而下逐步求精的思路和形式化方法,论述并分析了该模型的语法、语义及在两个应用领域中的语用。本文的工作主要集中在如下四个方面：1.利用领域工程的方法对数字版权管理的应用领域进行分析和建模,并针对数字权限表达问题构建了一个EDREL模型。与现有模型相比,EDREL模型特点如下：(1)现有模型仅描述被授权方的信息,本文的模型能同时描述授权方和被授权方双方信息,从而便于发生权限纠纷时进行判断与回溯；(2)现有的形式化模型不支持权限次发布的描述,而本文的模型增加了关于针对这一类情况描述所需的语法与形式化分析；(3)现有模型中许可证的概念仅局限于被授权方的义务类型动作的描述,而EDREL模型中扩展为被授权方的数字内容生命周期中权利与义务的各种动作的描述,使得这种权限描述模型能扩展到更广泛的数字内容的应用领域。2.利用RSL和OTS/CafeOBJ方法对EDREL模型进行形式化描述,并在此基础上进行了形式化的推导分析。相对现有的相关形式化研究,本文使用的方法有更强和更全面的分析功能和逻辑描述功能：(1)OTS建模方法使得以往基于单个许可证的动作序列模型分析变为了可同时分析多个许可证的动作序列；(2)增加了时序逻辑的CafeOBJ描述,在用CafeOBJ给出模型及相关性质后,基于其自动推导系统能高效便捷的自动完成形式化的分析推导；(3)使用道义逻辑和时序逻辑描述了权限表达,论述了如何使用OTS/CafeOBJ方法来描述权限表达语言中使用期限以及使用策略等与时序有关的问题。3.将EDREL的思路和方法应用到电子政务领域的文件访问控制,给出了EDREL模型在这个领域中的应用并进行了形式化分析,同时用形式化方法比较了使用该模型前后文件访问的及时性。4.将EDREL的思路和方法应用到基于XBRL GL的会计信息披露领域,提出一种会计数字权限管理描述语言来描述不同会计信息发布者与使用者之间会计信息的权利及义务,从而解决语义网络环境下会计机密信息向非法用户流出的安全风险问题。