随着越来越多数字内容在Internet上广泛出版与递送,人们迫切希望通过数字权限管理技术来保护数字内容的知识产权,保障作者、出版商、分销商的利益和用户的合法权利。数字权限管理技术的核心之一是数字权限表达模型。本文基于对已有数字权限表达模型的分析比较,提出了一个以动作状态为中心的数字权限表达模型――DDRM模型。DDRM模型的特点是既可描述权限动作与权限动作主体、资源、设备等概念之间的静态关系,又使用时间、次数、费用等概念描述权限动作执行状态,利用权限动作执行状态决定权限动作主体的义务。为了表达基于DDRM模型的权限推理,我们给出了一个基于一阶动态逻辑的逻辑符号系统DrFDL,并使用有限状态自动机模拟了基于DDRM模型的权限推理过程。为了实现基于DDRM模型的权限验证,我们设计了一个基于DDRM模型的权限验证算法,并分析了其时间空间复杂度,同时讨论了权限验证过程中出现的冲突消解方法。最后,基于MPEG REL SDK框架系统,我们构建了一个基于DDRM模型的权限验证原型系统,并对原型系统进行了测试。本文工作对促进数字权限管理技术的发展、保障数字产品知识产权具有一定的意义。