论文部分内容阅读
使用控制（UCON）是下一代访问控制模型，其核心模型包括授权模型、义务模型和条件模型。该文的目的是使用动态描述逻辑DDL对UCON授权模型进行逻辑表述，对授权过程中的各个决定要素进行逻辑描述并提供可判定性推理，提出UCON授权模型的逻辑模型，并提供了一个完整的授权实例，为模型的实际应用奠定一个较好的逻辑基础。