提出Datalog逻辑程序调用语义和调用谓词，说明包含程序调用谓词的可更新U—Datalog程序的操作语义及其固定点语义。提出在有限分层......

针对现有的DRM（digital rights management）机制缺乏真正的责任描述和实施能力问题，提出一种应用于DRM的责任授权模型及其实施框架．该......

权利描述语言用来构造许可证，描述数字内容的使用权利．鉴于现存的权利描述语言存在表达力不足、缺乏正式语义等问题，提出一种基于逻辑......

提出一种基于用户控制的数字内容权利保护和迁移机制，并提出该机制的协议模型，说明协议的安全性和可行性。该机制的权利迁移模型可由......

首先提出一种单限制变元Datalog^乛,sc的概念，并对单限制变元Datalog^乛,sc的评价（evaluation）及其元组识别问题做了分析．然后提出使用......